Copyright ©1998-2010 Glenn Fleishman. Send in your comments. Bibliographic information on isbn.nu licensed from Baker & Taylor. Contact them for corrections and licensing, or read more about our data.
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
from Springer Verlag (September 1, 1997)
9783540633853 | details & prices | 6.00 × 9.00 × 0.75 in. | 1.05 lbs | List price $79.95
About: This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.
About: This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.