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 April 16, 2021
Used
Condition: Fine
Quantity: 1 available
Add to basket