Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings (Lecture Notes in Computer Science)
Alexander Leitsch
From Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
AbeBooks Seller since 6 January 2003
New - Soft cover
Quantity: 2 available
Add to basket