Computational Logic and Proof Theory: Computational Logic and Proof Theory [Japanese Edition]
Georg Gottlob Alexander Leitsch & Daniele Mundici
Sold by Librairie Chat, Beijing, China
AbeBooks Seller since 16 April 2021
Used
Condition: Fine
Currently unavailable on AbeBooks.co.uk
Find this item on AbeBooks.com
Go to AbeBooks.com