The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Computational Logic and Proof Theory: Third Kurt G�del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings / Edition 1

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

People, Problems, and Proofs: Essays from Gödel's Lost Letter: 2010
Loading Inventory...

People, Problems, and Proofs: Essays from Gödel's Lost Letter: 2010

Barnes and Noble
Current price: $49.99
Computational Science - ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part II
Loading Inventory...

Computational Science - ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3-5, 2023, Proceedings, Part II

Barnes and Noble
Current price: $129.99
Powered by Adeptmind