Search Publications | Mathematical Logic and Foundations

Showing 1 to 20 of 172 Products

The Nuts and Bolts of Proofs

Product Type: Book

Edition: 4

First Published: 2011

Paperback: 978-0-12-382217-8

eBook: 978-0-12-382218-5

Philosophy of Technology and Engineering Sciences

Product Type: Book

Edition: 1

First Published: 2009

eBook: 978-0-08-093074-9

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

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

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

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

Logic and the Modalities in the Twentieth Century

Product Type: Book

Edition: 1

Volume: 7

First Published: 2006

eBook: 978-0-08-046303-2

Hardcover: 978-0-444-51622-0

The Nuts and Bolts of Proofs

Product Type: Book

Edition: 3

First Published: 2005

eBook: 978-0-08-053790-0

Mathematics and the Divine

Product Type: Book

Edition: 1

First Published: 2004

eBook: 978-0-08-045735-2

Hardcover: 978-0-444-50328-2

Infinite Words

Product Type: Book

Edition: 1

Volume: 141

First Published: 2004

eBook: 978-0-08-052564-8

Hardcover: 978-0-12-532111-2

Discrete Mathematics with Applications

Product Type: Book

Edition: 1

First Published: 2003

eBook: 978-0-08-047734-3

Relation Algebras by Games

Product Type: Book

Edition: 1

Volume: 147

First Published: 2002

eBook: 978-0-08-054045-0

Hardcover: 978-0-444-50932-1

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