Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings - Clote, Peter G.; Clote, Peter G.; Schwichtenberg, Helmut; Schwichtenberg, Helmut (Springer Berlin Heidelberg : Imprint: Springer, 2000)