All Products

Showing 1 to 20 of 135 Products

Quantification in Nonclassical Logic

Product Type: Book

Edition: 1

Volume: 153

First Published: 2009

Hardcover: 978-0-444-52012-8

eBook: 978-0-08-093112-8

Realizability

Product Type: Book

Edition: 1

Volume: 152

First Published: 2008

Hardcover: 978-0-444-51584-1

eBook: 978-0-08-056006-9

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Product Type: Book

Edition: 1

Volume: 151

First Published: 2007

Hardcover: 978-0-444-52141-5

eBook: 978-0-08-048964-3

Lectures on the Curry-Howard Isomorphism

Product Type: Book

Edition: 1

Volume: 149

First Published: 2006

Hardcover: 978-0-444-52077-7

eBook: 978-0-08-047892-0

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

Hardcover: 978-0-444-50826-3

eBook: 978-0-08-053578-4

Relation Algebras by Games

Product Type: Book

Edition: 1

Volume: 147

First Published: 2002

Hardcover: 978-0-444-50932-1

eBook: 978-0-08-054045-0

Rudiments of Calculus

Product Type: Book

Edition: 1

Volume: 146

First Published: 2001

Hardcover: 978-0-444-50620-7

eBook: 978-0-08-051645-5

Theory of Relations

Product Type: Book

Edition: 1

Volume: 145

First Published: 2000

Hardcover: 978-0-444-50542-2

eBook: 978-0-08-051911-1

Computable Structures and the Hyperarithmetical Hierarchy

Product Type: Book

Edition: 1

Volume: 144

First Published: 2000

Hardcover: 978-0-444-50072-4

eBook: 978-0-08-052952-3

Provability, Computability and Reflection

Product Type: Book

Edition: 1

Volume: 13

First Published: 2000

eBook: 978-0-08-095733-3

Logic Colloquium '87

Product Type: Book

Edition: 1

Volume: 129

First Published: 2000

eBook: 978-0-08-088006-8

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

Hardcover: 978-0-444-89882-1

eBook: 978-0-08-053304-9

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

Paperback: 978-0-444-50853-9

eBook: 978-0-08-092978-1

eBook: 978-0-08-052870-0

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