Products Handbook of Proof Theory Book information Product description Author information and services Ordering information Bibliographic and ordering information Conditions of sale Book-related information Submit your book proposal Other books in same subject area Support & contact About Elsevier Select your view

Other books within Mathematical Logic and Foundations (30 books, sorted by title) Title Admissibility of Logical Inference Rules 136 Book, 1997, by Rybakov British Logic in the Nineteenth Century 4 Multi-volume book, 2008, by Gabbay Categorical Logic and Type Theory 141 Book, 1998, by Jacobs Classical Recursion Theory Book, 1989, by Odifreddi Classical Recursion Theory Volume II Book, 1999, by Odifreddi Classification Theory Book, 1990, by Shelah Computability Complexity Logic Book, 1989, by Börger Computable Structures and the Hyperarithmetical Hierarchy 144 Book, 2000, by Ash¿ Constructivism in Mathematics Multi-volume book, 1988, by Troelstra Course in Mathematical Logic A Book, 1977, by Bell Cylindric Algebras Multi-volume book, 1985, by Henkin From Peirce to Skolem Book, 2000, by Brady Handbook of Boolean Algebras Multi-volume book, 1989, by Monk Handbook of Mathematical Logic Book, 1977, by Barwise Handbook of Recursive Mathematics Handbook, 1998, by Ershov Introduction to Metamathematics Book, 1952, by Kleene Lambda Calculus 103 The Book, 1984, by Barendregt Language in Action 130 Book, 1991, by van Benthem Lectures on the Curry-Howard Isomorphism 149 Book, 2006, by Sørensen Many Valued and Nonmonotonic Turn in Logic 8 The Multi-volume book, 2007, by Gabbay Mediaeval and Renaissance Logic 2 Multi-volume book, 2008, by Gabbay Model Theory Book, 1990, by Chang Ontological and Epistemological Perspective of Fuzzy Set Theory An Book, 2006, by Türksen Principles of Logic and Logic Programming Book, 1996, by Metakides Proof Theory and Logical Complexity Multi-volume book, 1990, by Girard Quantum Brain The Book, 1994, by Stern Relation Algebras 150 Book, 2006, by Maddux Relation Algebras by Games 147 Book, 2002, by Hirsch Tools and Techniques in Modal Logic 142 Book, 1999, by Kracht Truth Possibility and Probability 166 Book, 1991, by Chuaqui