
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
Related Books

- Year: 2001
- Edition: 2nd
- Publisher: Academic Press
- Type: Hardcover
- ISBN13: 9780122384523
- ISBN: 0122384520

- Year: 2004
- Edition: 2004th
- Publisher: Springer
- Type: Hardcover
- ISBN13: 9783540212027
- ISBN: 3540212027

$2299
Deductive Logic
- Year: -0001
- Edition:
- Publisher: Hackett Publishing Company
- Type: Hardcover
- ISBN13: 9780872206601
- ISBN: 0872206602