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

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