All Products

Showing 41 to 60 of 223 Products

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

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

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

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

Numbers and Proofs

Product Type: Book

Edition: 1

First Published: 1997

Paperback: 978-0-340-67653-0

eBook: 978-0-08-092877-7

Admissibility of Logical Inference Rules

Product Type: Book

Edition: 1

Volume: 136

First Published: 1997

Hardcover: 978-0-444-89505-9

eBook: 978-0-08-052599-0