All Products

Showing 1 to 20 of 135 Products

Quantification in Nonclassical Logic

Product Type: Book

Edition: 1

Volume: 153

First Published: 2009

eBook: 978-0-08-093112-8

Hardcover: 978-0-444-52012-8

Realizability

Product Type: Book

Edition: 1

Volume: 152

First Published: 2008

eBook: 978-0-08-056006-9

Hardcover: 978-0-444-51584-1

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Product Type: Book

Edition: 1

Volume: 151

First Published: 2007

eBook: 978-0-08-048964-3

Hardcover: 978-0-444-52141-5

Lectures on the Curry-Howard Isomorphism

Product Type: Book

Edition: 1

Volume: 149

First Published: 2006

eBook: 978-0-08-047892-0

Hardcover: 978-0-444-52077-7

Relation Algebras

Product Type: Book

Edition: 1

Volume: 150

First Published: 2006

Hardcover: 978-0-444-52013-5

Many-Dimensional Modal Logics: Theory and Applications

Product Type: Book

Edition: 1

Volume: 148

First Published: 2003

eBook: 978-0-08-053578-4

Hardcover: 978-0-444-50826-3

Relation Algebras by Games

Product Type: Book

Edition: 1

Volume: 147

First Published: 2002

eBook: 978-0-08-054045-0

Hardcover: 978-0-444-50932-1

Rudiments of Calculus

Product Type: Book

Edition: 1

Volume: 146

First Published: 2001

eBook: 978-0-08-051645-5

Hardcover: 978-0-444-50620-7

Theory of Relations

Product Type: Book

Edition: 1

Volume: 145

First Published: 2000

eBook: 978-0-08-051911-1

Hardcover: 978-0-444-50542-2

Computable Structures and the Hyperarithmetical Hierarchy

Product Type: Book

Edition: 1

Volume: 144

First Published: 2000

eBook: 978-0-08-052952-3

Hardcover: 978-0-444-50072-4

Provability, Computability and Reflection

Product Type: Book

Edition: 1

Volume: 13

First Published: 2000

eBook: 978-0-08-095733-3

Provability, Computability and Reflection

Product Type: Book

Edition: 1

Volume: 20

First Published: 2000

eBook: 978-0-08-095740-1

Provability, Computability and Reflection

Product Type: Book

Edition: 1

Volume: 16

First Published: 2000

eBook: 978-0-08-095736-4

Handbook of Computability Theory

Product Type: Book

Edition: 1

Volume: 140

First Published: 1999

eBook: 978-0-08-053304-9

Hardcover: 978-0-444-89882-1

Classical Recursion Theory, Volume II

Product Type: Book

Edition: 1

Volume: 143

First Published: 1999

Hardcover: 978-0-444-50205-6

Tools and Techniques in Modal Logic

Product Type: Book

Edition: 1

Volume: 142

First Published: 1999

Hardcover: 978-0-444-50055-7

Categorical Logic and Type Theory

Product Type: Book

Edition: 1

Volume: 141

First Published: 1999

eBook: 978-0-08-092978-1

eBook: 978-0-08-052870-0

Paperback: 978-0-444-50853-9

Recursive Algebra, Analysis and Combinatorics

Product Type: Book

Edition: 1

Volume: 2

First Published: 1998

eBook: 978-0-08-053370-4

Recursive Model Theory

Product Type: Book

Edition: 1

Volume: 1

First Published: 1998

eBook: 978-0-08-053369-8

Handbook of Proof Theory

Product Type: Book

Edition: 1

Volume: 137

First Published: 1998

eBook: 978-0-08-053318-6

Hardcover: 978-0-444-89840-1