Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997,...

Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997,...

  • List Price: $109.00
  • ISBN-10: 3540633855
  • ISBN-13: 9783540633853
  • Edition: 1997th
  • Type: Paperback
  • Publisher: Springer

About The Book

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna,... Read more

FINDING THE BEST PRICES

Related Books

Elements of Finite Model Theory (Texts in Theoretical...
  • Year: 2004
  • Edition: 2004th
  • Publisher: Springer
  • Type: Hardcover
  • ISBN13: 9783540212027
  • ISBN: 3540212027
Introduction to Cryptography (Undergraduate Texts in...
  • Year: 2004
  • Edition: 2nd
  • Publisher: Springer
  • Type: Paperback
  • ISBN13: 9780387207568
  • ISBN: 0387207562
Deductive Logic
  • Year: -0001
  • Edition:
  • Publisher: Hackett Publishing Company
  • Type: Hardcover
  • ISBN13: 9780872206601
  • ISBN: 0872206602