Search:

Product Information All Elsevier Sites   Advanced Product Search
SiteStat.jsp
Computable Structures and the Hyperarithmetical Hierarchy, 144
Other books within Mathematical Logic and Foundations
(24 books, sorted by title)
Title
A
Admissibility of Logical Inference Rules 136
Book, 1997, by Rybakov
B
British Logic in the Nineteenth Century 4
Multi-volume book, 2008, by Gabbay
C
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
Course in Mathematical Logic A
Book, 1977, by Bell
Cylindric Algebras Part I
Book, 1971, by Unknown
H
Handbook of Boolean Algebras Volume 2
Book, 1989, by Unknown
Handbook of Proof Theory
Book, 1998, by Buss
I
Inductive Logic 10
Multi-volume book, 2009, by Gabbay
Introduction to Metamathematics
Book, 1952, by Kleene
L
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
Logic from Russell to Church 5
Multi-volume book, 2008, by Gabbay
Logic from Russell to Church 5
Multi-volume book, 2009, by Gabbay
M
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
O
Ontological and Epistemological Perspective of Fuzzy Set Theory An
Book, 2006, by T rksen
R
Relation Algebras 150
Book, 2006, by Maddux
Relation Algebras by Games 147
Book, 2002, by Hirsch
S
Sets and Extensions in the Twentieth Century 6
Multi-volume book, 2008, by Gabbay
T
Tools and Techniques in Modal Logic 142
Book, 1999, by Kracht
Truth Possibility and Probability 166
Book, 1991, by Chuaqui
Printer-friendly version   Printer-friendly version