• Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
1 1

books world

Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings

Rs.7,990.00 PKR
Rs.7,990.00 PKR
Sale Sold out

Low stock: 1 left

Collapsible row

Author: Georg Gottlob, Alexander Leitsch, Daniele Mundici
Publisher: Springer Science & Business Media
Edition Year: 1997
ISBN: 9783540633853

View full details
Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings Rs.7,990.00