Items related to Computational Logic and Proof Theory: Third Kurt Godel...

Computational Logic and Proof Theory: Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings (Lecture Notes in Computer Science) - Softcover

Gottlob, Georg; Leitsch, Alexander

 
9780387571843: Computational Logic and Proof Theory: Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387571841 ISBN 13: 9780387571843
Publisher: Springer Verlag, 1993

This specific ISBN edition is currently not available.

Synopsis

Computational Logic and Proof Theory The proceedings of a biennial symposium on logic, theoretical computer science and the philosophy of mathematics are recorded in this volume. Emphasis is placed on proof theory, which although traditionally a discipline of mathematical logic, is also a central activity in computer science. Full description

"synopsis" may belong to another edition of this title.

Publisher
Springer Verlag
Publication date
1993
Language
English
ISBN 10 
0387571841
ISBN 13 
9780387571843
Binding
Paperback
Editor
Mundici Daniele