Buy Used and New Mathematical Logic Books

Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

by J. Roger Hindley

ISBN 13: 9780521465182

Format: Hardcover (200 pages)
Publisher: Cambridge University Press
Published: 31 Jul 1997

Save for later

Brouwer Meets Husserl: On the Phenomenology of Choice Sequences (Synthese Library): 335

by Mark van Atten

ISBN 13: 9781402050862

Format: Hardcover (206 pages)
Publisher: Springer
Published: 09 Nov 2006

Save for later

Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency): 5800

by Kurt Jensen

ISBN 13: 9783642048548

Format: Paperback (296 pages)
Publisher: Springer
Published: 11 Nov 2009

Save for later

There's Something About Godel!: The Complete Guide to the Incompleteness Theorem

by Francesco Berto

ISBN 13: 9781405197670

Format: Paperback (254 pages)
Publisher: Wiley-Blackwell
Published: 06 Nov 2009
Other Format: Illustrated

Save for later

Numbers & Proofs (Modular Mathematics Series)

by R. B. J. T. Allenby

ISBN 13: 9780340676530

Format: Paperback (288 pages)
Publisher: Butterworth-Heinemann
Published: 26 Sep 1997

Save for later

Proof Theory: The First Step into Impredicativity (Universitext)

by Wolfram Pohlers

ISBN 13: 9783540693185

Format: Illustrated (388 pages)
Publisher: Springer
Published: 13 Oct 2008

Save for later

The Logical Status of Diagrams

by Sun-Joo Shin

ISBN 13: 9780521461573

Format: Hardcover (212 pages)
Publisher: Cambridge University Press
Published: 27 Jan 1995

Save for later

The Axiom of Choice (Dover Books on Mathematics)

by Thomas J Jech

ISBN 13: 9780486466248

Format: Illustrated (224 pages)
Publisher: Dover Publications Inc.
Published: 01 Jan 2009

Save for later

Logic, Induction and Sets (London Mathematical Society Student Texts)

by Thomas Forster

ISBN 13: 9780521533614

Format: Paperback (246 pages)
Publisher: Cambridge University Press
Published: 25 Sep 2003

Save for later

Logic Programming and Nonmonotonic Reasoning: 9th International Conference, LPNMR 2007 Tempe, AZ, USA, May 15-17, 2007 Proceedings: 4483 (Lecture Notes in Computer Science)

by Chitta Baral,Gerhard Brewka,John Schlipf

ISBN 13: 9783540721994

Format: Paperback (344 pages)
Publisher: Springer
Published: 27 Apr 2007

Save for later

Set Theory and its Philosophy: A Critical Introduction

by Michael Potter

ISBN 13: 9780199270415

Format: Illustrated (360 pages)
Publisher: Oxford University Press, U.S.A.
Published: 13 Apr 2006

Save for later

An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems

by Merrie Bergmann

ISBN 13: 9780521881289

Format: Hardcover (342 pages)
Publisher: Cambridge University Press
Published: 14 Jan 2008
Other Format: Illustrated

Save for later