All Products

Showing 41 to 60 of 174 Products

Logical Frameworks for Truth and Abstraction

Product Type: Book

Edition: 1

Volume: 135

First Published: 1996

Hardcover: 978-0-444-82306-9

eBook: 978-0-08-053558-6

Problem Solving: Methods, Programming and Future Concepts

Product Type: Book

Edition: 1

Volume: 12

First Published: 1995

eBook: 978-0-08-054483-0

Logic, Methodology and Philosophy of Science IX

Product Type: Book

Edition: 1

Volume: 134

First Published: 1995

eBook: 978-0-08-054495-3

Selected Papers on Automath

Product Type: Book

Edition: 1

Volume: 133

First Published: 1994

eBook: 978-0-08-088718-0

The Quantum Brain

Product Type: Book

Edition: 1

First Published: 1994

eBook: 978-0-08-057159-1

Current Issues in Mathematical Linguistics

Product Type: Book

Edition: 1

Volume: 56

First Published: 1994

eBook: 978-1-4832-9472-8

Hausdorff Gaps and Limits

Product Type: Book

Edition: 1

Volume: 132

First Published: 1994

eBook: 978-0-08-088708-1

Higher Order Logic Theorem Proving and its Applications

Product Type: Book

Edition: 1

Volume: 20

First Published: 1993

eBook: 978-1-4832-9840-5

Morphogenesis

Product Type: Book

Edition: 1

Volume: 3

First Published: 1992

Hardcover: 978-0-444-88486-2

eBook: 978-0-08-093405-1

A Comparative Study of Parallel Programming Languages: The Salishan Problems

Product Type: Book

Edition: 1

First Published: 1992

eBook: 978-1-4832-9420-9

Recursive Functionals

Product Type: Book

Edition: 1

Volume: 131

First Published: 1992

eBook: 978-0-08-088717-3

Matrix Logic and Mind

Product Type: Book

Edition: 1

First Published: 1992

Hardcover: 978-0-444-88798-6

Paperback: 978-1-4933-0274-1

eBook: 978-0-08-093413-6

Pure Mathematics

Product Type: Book

Edition: 1

Volume: 2

First Published: 1992

Hardcover: 978-0-444-88059-8

Mechanical Intelligence

Product Type: Book

Edition: 1

Volume: 1

First Published: 1992

Hardcover: 978-0-444-88058-1

Classification Theory

Product Type: Book

Edition: 2

Volume: 92

First Published: 1990

eBook: 978-0-08-088024-2

Formal Models and Semantics

Product Type: Book

Edition: 1

Volume: B

First Published: 1990

eBook: 978-0-08-093392-4

Model Theory

Product Type: Book

Edition: 3

Volume: 73

First Published: 1990

eBook: 978-0-08-088007-5

Logic, Methodology and Philosophy of Science VIII

Product Type: Book

Edition: 1

Volume: 126

First Published: 1989

eBook: 978-0-08-087989-5

Logic Colloquium '88

Product Type: Book

Edition: 1

Volume: 127

First Published: 1989

eBook: 978-0-08-088767-8

Computability, Complexity, Logic

Product Type: Book

Edition: 1

Volume: 128

First Published: 1989

eBook: 978-0-08-088704-3