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

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

  • 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

Deductive Logic
  • Year: 2003
  • Edition:
  • Publisher: Hackett Publishing Company
  • Type: Hardcover
  • ISBN13: 9780872206601
  • ISBN: 0872206602
Elements of Finite Model Theory (Texts in Theoretical...
  • Year: 2004
  • Edition: 2004th
  • Publisher: Springer
  • Type: Hardcover
  • ISBN13: 9783540212027
  • ISBN: 3540212027
A Mathematical Introduction to Logic, Second Edition
  • Year: 2001
  • Edition: 2nd
  • Publisher: Academic Press
  • Type: Hardcover
  • ISBN13: 9780122384523
  • ISBN: 0122384520