Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... 1289 (Lecture Notes in Computer Science)

Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... 1289 (Lecture Notes in Computer Science)

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

$84.63

Save:$6.52 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 364
Edition: 1997
Publisher: Springer
Published: 13 Jun 2008

ISBN 10: 3540633855
ISBN 13: 9783540633853