ISBN Search

Computational logic and proof theory: 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

Computational logic and proof theory: 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings

ISBN-13: 9783540633853

ISBN-10: 3540633855

Author: Kurt Gödel Colloquium Vienna, Austria)

Binding: Paperback

Publisher: Springer

Published: 1997-08-13

Sell this book           Buy or Rent?

Best Prices for this Book in New Condition

Best Used Prices

Compare Even More Offers

As an Amazon Associate we earn from qualifying purchases.