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

A Mathematical Introduction to Logic
  • Year: 2001
  • Edition: 2nd
  • Publisher: Academic Press
  • Type: Hardcover
  • ISBN13: 9780122384523
  • ISBN: 0122384520
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