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)

New
Paperback
2008
$88.71

$88.71

Save:$6.83 (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

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)

New

$88.71

$88.71

More Information