Home > Texts Book > IOS Press > Proof Reconstruction in Classical and Non-Classical LogicsProof Reconstruction in Classical and Non-Classical Logics Book Title Proof Reconstruction in Classical and Non-Classical Logics Author Stephanie Schmitt Publisher IOS Press Published 2000 Language English Subject Computers, Artificial Intelligence, General, Computers, Computer Science, Page_Count 218 Format BOOK ISBN 15860312959781586031299 Buy Now Read Online About this BookNo description available. Source: View Book on Google BooksSimilar Books: Transforming Serials Susan L. Scheiberg 216 buyNews Shocks in Open Economies Mr.Rabah Arezki 54 buyExperimentation and Collaboration Charlene N. Simser 414 buySerials in the Park Patricia S. French 384 buyMonetary Economics and Policy Pierpaolo Benigno 432 buyOpen Economy Macroeconomics Martín Uribe 646 buyMoney, Interest, and Policy Jean-Pascal Bénassy 215 buyInternational Macroeconomics Stephanie Schmitt-Grohé 482 buyHead in the Clouds, Feet on the Ground Jeffrey L Bullington 587 buyThe Inflation-Targeting Debate Ben S. Bernanke 469 buy