All Products

Showing 21 to 40 of 174 Products

Handbook of Automated Reasoning

Product Type: Book

Edition: 1

Volume: II

First Published: 2001

Hardcover: 978-0-444-50812-6

Handbook of Automated Reasoning

Product Type: Book

Edition: 1

Volume: I

First Published: 2001

Hardcover: 978-0-444-82949-8

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

From Peirce to Skolem

Product Type: Book

Edition: 1

Volume: 4

First Published: 2000

eBook: 978-0-08-053202-8

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: 16

First Published: 2000

eBook: 978-0-08-095736-4

Provability, Computability and Reflection

Product Type: Book

Edition: 1

Volume: 20

First Published: 2000

eBook: 978-0-08-095740-1

Logic Colloquium '87

Product Type: Book

Edition: 1

Volume: 129

First Published: 2000

eBook: 978-0-08-088006-8

Axiomatic Set Theory

Product Type: Book

Edition: 1

Volume: 51

First Published: 2000

eBook: 978-0-08-087162-2

Discovering Higher Mathematics

Product Type: Book

Edition: 1

First Published: 1999

Hardcover: 978-0-12-445460-6

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-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

Handbook of Proof Theory

Product Type: Book

Edition: 1

Volume: 137

First Published: 1998

Hardcover: 978-0-444-89840-1

eBook: 978-0-08-053318-6

Numbers and Proofs

Product Type: Book

Edition: 1

First Published: 1997

Paperback: 978-0-340-67653-0

eBook: 978-0-08-092877-7

Handbook of Logic and Language

Product Type: Book

Edition: 1

First Published: 1996

eBook: 978-0-08-053308-7

Handbook of Analysis and Its Foundations

Product Type: Book

Edition: 1

First Published: 1996

eBook: 978-0-08-053299-8

Principles of Logic and Logic Programming

Product Type: Book

Edition: 1

Volume: 13

First Published: 1996

eBook: 978-0-08-053964-5