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
$1646
Deductive Logic
- Year: 2003
- Edition:
- Publisher: Hackett Publishing Company
- Type: Hardcover
- ISBN13: 9780872206601
- ISBN: 0872206602
- Year: 2004
- Edition: 2004th
- Publisher: Springer
- Type: Hardcover
- ISBN13: 9783540212027
- ISBN: 3540212027
- Year: 2001
- Edition: 2nd
- Publisher: Academic Press
- Type: Hardcover
- ISBN13: 9780122384523
- ISBN: 0122384520
