Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... 713 (Lecture Notes in Computer Science)

Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... 713 (Lecture Notes in Computer Science)

by Daniele Mundici (Author), Alexander Leitsch (Author), Georg Gottlob (Author), Alexander Leitsch (Author), Daniele Mundici (Author), Georg Gottlob (Author)

Synopsis

The Third Kurt G|del Symposium, KGC'93, held in Brno, CzechRepublic, August1993, is the third in a series of biennialsymposia on logic, theoretical computer science, andphilosophy of mathematics. While proof theorytraditionally is a discipline of mathematical logic, thecentral activity in computational logic can be foundincomputer science.

$63.98

Save:$4.37 (6%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 372
Edition: 1993
Publisher: Springer
Published: 13 Aug 1993

ISBN 10: 3540571841
ISBN 13: 9783540571841