All Products

Showing 1 to 20 of 112 Products

Handbook of Logic and Language

Product Type: Book

Edition: 2

First Published: 2010

Hardcover: 978-0-444-53726-3

Paperback: 978-0-444-60225-1

eBook: 978-0-444-53727-0

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

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

Handbook of Modal Logic

Product Type: Book

Edition: 1

Volume: 3

First Published: 2006

eBook: 978-0-08-046666-8

Computational Complexity: A Quantitative Perspective

Product Type: Book

Edition: 1

Volume: 196

First Published: 2004

Hardcover: 978-0-444-82841-5

eBook: 978-0-08-047666-7

Handbook of Process Algebra

Product Type: Book

Edition: 1

First Published: 2001

eBook: 978-0-08-053367-4

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

Linear Algebra, Rational Approximation and Orthogonal Polynomials

Product Type: Book

Edition: 1

Volume: 6

First Published: 1997

eBook: 978-0-08-053552-4

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

Computability, Complexity, and Languages

Product Type: Book

Edition: 2

First Published: 1994

Hardcover: 978-0-12-206382-4

Paperback: 978-1-4933-0034-1

eBook: 978-0-08-050246-5

Constraints, Language and Computation

Product Type: Book

Edition: 1

First Published: 1994

eBook: 978-0-08-050296-0

A Comparative Study of Parallel Programming Languages: The Salishan Problems

Product Type: Book

Edition: 1

First Published: 1992

eBook: 978-1-4832-9420-9

Self-Modifying Systems in Biology and Cognitive Science

Product Type: Book

Edition: 1

Volume: 6

First Published: 1991

Hardcover: 978-0-08-036979-2

Paperback: 978-1-4832-9952-5

eBook: 978-0-08-091239-4

Formal Models and Semantics

Product Type: Book

Edition: 1

Volume: B

First Published: 1990

eBook: 978-0-08-093392-4

Algorithms and Complexity

Product Type: Book

Edition: 1

Volume: A

First Published: 1990

Hardcover: 978-0-444-88071-0

Paperback: 978-1-4933-0569-8

eBook: 978-0-08-093391-7

Constructivism in Mathematics, Vol 1

Product Type: Book

Edition: 1

Volume: 121

First Published: 1988

Hardcover: 978-0-444-70266-1

eBook: 978-0-08-057088-4

Nonlinear Methods in Numerical Analysis

Product Type: Book

Edition: 1

Volume: 1

First Published: 1987

eBook: 978-0-08-087247-6