All Products

Showing 41 to 60 of 225 Products

Handbook of Automated Reasoning

Product Type: Book

Edition: 1

Volume: I

First Published: 2001

Hardcover: 978-0-444-82949-8

The Infinite-Dimensional Topology of Function Spaces

Product Type: Book

Edition: 1

Volume: 64

First Published: 2001

Hardcover: 978-0-444-50557-6

eBook: 978-0-08-092977-4

Handbook of Process Algebra

Product Type: Book

Edition: 1

First Published: 2001

eBook: 978-0-08-053367-4

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

Quantum Theoretic Machines

Product Type: Book

Edition: 1

First Published: 2000

Hardcover: 978-0-444-82618-3

eBook: 978-0-08-054013-9

From Peirce to Skolem

Product Type: Book

Edition: 1

Volume: 4

First Published: 2000

eBook: 978-0-08-053202-8

CAFE: An Industrial-Strength Algebraic Formal Method

Product Type: Book

Edition: 1

First Published: 2000

eBook: 978-0-08-052840-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

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

Linear Algebra, Rational Approximation and Orthogonal Polynomials

Product Type: Book

Edition: 1

Volume: 6

First Published: 1997

eBook: 978-0-08-053552-4