Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science, 1289)
ISBN-13: 9783540633853
ISBN-10: 3540633855
Edition: 1997
Binding: Paperback
Publisher: Springer
Published: 1997-08-13
Best Prices for this Book in New Condition
Best Used Prices
-
-
+3.99 shipping
-
As an Amazon Associate we earn from qualifying purchases.