All Products

Showing 21 to 40 of 223 Products

Logic and the Modalities in the Twentieth Century

Product Type: Book

Edition: 1

Volume: 7

First Published: 2006

Hardcover: 978-0-444-51622-0

eBook: 978-0-08-046303-2

The Nuts and Bolts of Proofs

Product Type: Book

Edition: 3

First Published: 2005

eBook: 978-0-08-053790-0

A Practical Logic of Cognitive Systems

Product Type: Book

Edition: 1

First Published: 2005

Hardcover: 978-0-444-51791-3

eBook: 978-0-08-046092-5

Mathematics and the Divine

Product Type: Book

Edition: 1

First Published: 2004

Hardcover: 978-0-444-50328-2

eBook: 978-0-08-045735-2

Coherent Systems

Product Type: Book

Edition: 1

Volume: 2

First Published: 2004

Hardcover: 978-0-444-51789-0

eBook: 978-0-08-050219-9

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

Nonmeasurable Sets and Functions

Product Type: Book

Edition: 1

Volume: 195

First Published: 2004

Hardcover: 978-0-444-51626-8

eBook: 978-0-08-047976-7

The Rise of Modern Logic: from Leibniz to Frege

Product Type: Book

Edition: 1

Volume: 3

First Published: 2004

Hardcover: 978-0-444-51611-4

eBook: 978-0-08-053287-5

Infinite Words

Product Type: Book

Edition: 1

Volume: 141

First Published: 2004

Hardcover: 978-0-12-532111-2

eBook: 978-0-08-052564-8

Greek, Indian and Arabic Logic

Product Type: Book

Edition: 1

Volume: 1

First Published: 2004

Hardcover: 978-0-444-50466-1

eBook: 978-0-08-053286-8

Discrete Mathematics with Applications

Product Type: Book

Edition: 1

First Published: 2003

eBook: 978-0-08-047734-3

Handbook of the Logic of Argument and Inference

Product Type: Book

Edition: 1

Volume: 1

First Published: 2002

eBook: 978-0-08-053291-2

Relation Algebras by Games

Product Type: Book

Edition: 1

Volume: 147

First Published: 2002

Hardcover: 978-0-444-50932-1

eBook: 978-0-08-054045-0

Almost Free Modules

Product Type: Book

Edition: 1

Volume: 65

First Published: 2002

Hardcover: 978-0-444-50492-0

eBook: 978-0-08-052705-5

Elementary Number Theory with Applications, Student Solutions Manual

Product Type: Book

Edition: 1

First Published: 2001

Paperback: 978-0-12-421173-5

Mathematical Logic

Product Type: Book

Edition: 1

Volume: 4

First Published: 2001

eBook: 978-0-08-053592-0

Handbook of Automated Reasoning

Product Type: Book

Edition: 1

Volume: 1

First Published: 2001

eBook: 978-0-08-053279-0

Handbook of Automated Reasoning

Product Type: Book

Edition: 1

Volume: II

First Published: 2001

Hardcover: 978-0-444-50812-6

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