Search:

Product Information All Elsevier Sites   Advanced Product Search
SiteStat.jsp
The Lambda Calculus, 103
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
Computable Structures and the Hyperarithmetical Hierarchy 144
Book, 2000, by Ash
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
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