All Products

Showing 21 to 40 of 135 Products

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

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

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

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

Hausdorff Gaps and Limits

Product Type: Book

Edition: 1

Volume: 132

First Published: 1994

eBook: 978-0-08-088708-1

Recursive Functionals

Product Type: Book

Edition: 1

Volume: 131

First Published: 1992

eBook: 978-0-08-088717-3

Language in Action

Product Type: Book

Edition: 1

Volume: 130

First Published: 1991

Hardcover: 978-0-444-89000-9

eBook: 978-0-08-093422-8

Classification Theory

Product Type: Book

Edition: 2

Volume: 92

First Published: 1990

eBook: 978-0-08-088024-2

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

Classical Recursion Theory

Product Type: Book

Edition: 1

Volume: 125

First Published: 1989

Paperback: 978-0-444-89483-0

eBook: 978-0-08-088659-6

Constructivism in Mathematics, Vol 2

Product Type: Book

Edition: 1

Volume: 123

First Published: 1988

Hardcover: 978-0-444-70358-3

eBook: 978-0-08-095510-0

Constructivism in Mathematics

Product Type: Book

Edition: 1

Volume: 121

First Published: 1988

Paperback: 978-0-444-70506-8

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

Logic Colloquium '86

Product Type: Book

Edition: 1

Volume: 124

First Published: 1987

eBook: 978-0-444-53583-2

Descriptive Set Theory

Product Type: Book

Edition: 1

Volume: 100

First Published: 1987

eBook: 978-0-08-096319-8

Logic Colloquium '85

Product Type: Book

Edition: 1

Volume: 122

First Published: 1987

eBook: 978-0-444-53582-5