All Products

Showing 1 to 20 of 226 Products

Computational Logic

Product Type: Book

Edition: 1

Volume: 9

First Published: 2014

eBook: 978-0-08-093067-1

Hardcover: 978-0-444-51624-4

Logic: A History of its Central Concepts

Product Type: Book

Edition: 1

Volume: 11

First Published: 2012

eBook: 978-0-08-093170-8

Hardcover: 978-0-444-52937-4

Sets and Extensions in the Twentieth Century

Product Type: Book

Edition: 1

Volume: 6

First Published: 2012

eBook: 978-0-08-093066-4

Hardcover: 978-0-444-51621-3

The Nuts and Bolts of Proofs

Product Type: Book

Edition: 4

First Published: 2011

eBook: 978-0-12-382218-5

Paperback: 978-0-12-382217-8

Inductive Logic

Product Type: Book

Edition: 1

Volume: 10

First Published: 2011

eBook: 978-0-08-093169-2

Hardcover: 978-0-444-52936-7

Handbook of Logic and Language

Product Type: Book

Edition: 2

First Published: 2010

eBook: 978-0-444-53727-0

Hardcover: 978-0-444-53726-3

Paperback: 978-0-444-60225-1

Philosophy of Technology and Engineering Sciences

Product Type: Book

Edition: 1

First Published: 2009

eBook: 978-0-08-093074-9

Hardcover: 978-0-444-51667-1

Quantification in Nonclassical Logic

Product Type: Book

Edition: 1

Volume: 153

First Published: 2009

eBook: 978-0-08-093112-8

Hardcover: 978-0-444-52012-8

Logic from Russell to Church

Product Type: Book

Edition: 1

Volume: 5

First Published: 2009

eBook: 978-0-08-088547-6

Hardcover: 978-0-444-51620-6

Mathematical Analysis and Proof

Product Type: Book

Edition: 2

First Published: 2009

eBook: 978-0-85709-934-1

Paperback: 978-1-904275-40-4

Handbook of Quantum Logic and Quantum Structures

Product Type: Book

Edition: 1

First Published: 2008

eBook: 978-0-08-093166-1

A Transition to Abstract Mathematics

Product Type: Book

Edition: 2

First Published: 2008

eBook: 978-0-08-092271-3

Hardcover: 978-0-12-374480-7

Mediaeval and Renaissance Logic

Product Type: Book

Edition: 1

Volume: 2

First Published: 2008

eBook: 978-0-08-056085-4

Hardcover: 978-0-444-51625-1

British Logic in the Nineteenth Century

Product Type: Book

Edition: 1

Volume: 4

First Published: 2008

eBook: 978-0-08-055701-4

Hardcover: 978-0-444-51610-7

Handbook of Quantum Logic and Quantum Structures

Product Type: Book

Edition: 1

First Published: 2007

eBook: 978-0-08-055038-1

Hardcover: 978-0-444-52870-4

The Many Valued and Nonmonotonic Turn in Logic

Product Type: Book

Edition: 1

Volume: 8

First Published: 2007

eBook: 978-0-08-054939-2

Hardcover: 978-0-444-51623-7

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Product Type: Book

Edition: 1

Volume: 151

First Published: 2007

eBook: 978-0-08-048964-3

Hardcover: 978-0-444-52141-5

Handbook of Modal Logic

Product Type: Book

Edition: 1

Volume: 3

First Published: 2006

eBook: 978-0-08-046666-8

Philosophy of Logic

Product Type: Book

Edition: 1

First Published: 2006

eBook: 978-0-08-046663-7

Hardcover: 978-0-444-51541-4

Lectures on the Curry-Howard Isomorphism

Product Type: Book

Edition: 1

Volume: 149

First Published: 2006

eBook: 978-0-08-047892-0

Hardcover: 978-0-444-52077-7