Account
Orders
Advanced search
(the theory pamphlet)
Louise Reader
Read on Louise Reader App.
The Theory Pamphlet presents Gerhard Gentzen's natural deduction and sequent calculi with emphasis on the theory behind the formalism. Its five chapters serve as an advanced logic textbook, introducing universal properties, proof normalization techniques, and decision procedures for classical, intuitionistic, and linear logics. The same material serves also as a philosophical treatise, describing the meaning of, significance of, and relationships among three different ways to conceptualize the idea of logical completeness. Most of the material featured has never before been presented in a systematic and accessible manner.
Les livres numériques peuvent être téléchargés depuis l'ebookstore Numilog ou directement depuis une tablette ou smartphone.
PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)
DRM Adobe LCP
LCP DRM Adobe
This ebook is DRM protected.
LCP system provides a simplified access to ebooks: an activation key associated with your customer account allows you to open them immediately.
ebooks downloaded with LCP system can be read on:
Adobe DRM associates a file with a personal account (Adobe ID). Once your reading device is activated with your Adobe ID, your ebook can be opened with any compatible reading application.
ebooks downloaded with Adobe DRM can be read on:
mobile-and-tablet To check the compatibility with your devices,see help page
Curtis Franks is an associate professor of Philosophy at the University of Notre Dame. He has been on the Philosophy faculty at Notre Dame since 2006. He earned B.A. degrees in Mathematics and Philosophy from Rice University in 2000 and a Ph.D. from the University of California in Irvine's Department of Logic and Philosophy of Science in 2006. Since 2019, he has been, with Anand Pillay, co-editor in chief of the Notre Dame Journal of Formal Logic. He is currently the director of Notre Dame's Joint Program in Logic and Foundations of Mathematics.
Sign up to get our latest ebook recommendations and special offers