Buy Used and New Mathematical Logic Books

How to Read and Do Proofs: An Introduction to Mathematical Thought Processes

by Daniel Solow

ISBN 13: 9780471510048

Format: Paperback (264 pages)
Publisher: John Wiley & Sons
Published: 21 Jun 1990

Save for later

Boolean Algebra and Its Applications (Dover Books on Mathematics)

by J.Eldon Whitesitt

ISBN 13: 9780486684833

Format: Paperback (192 pages)
Publisher: Dover Publications Inc.
Published: Apr 1995
Other Format: Illustrated

Save for later

Logic in Elementary Mathematics

by Robert M. Exner,Myron F. Rosskopf

ISBN 13: 9780486482217

Format: Paperback (288 pages)
Publisher: Dover Publications Inc.
Published: 16 Jun 2011

Save for later

Automata, Computability and Complexity: Theory and Applications

by Elaine A. Rich

ISBN 13: 9780132288064

Format: Hardcover (1120 pages)
Publisher: Prentice Hall
Published: 18 Sep 2007

Save for later

Gentzen Calculi for Modal Propositional Logic (Trends in Logic)

by Francesca Poggiolesi

ISBN 13: 9789048196692

Format: Hardcover (222 pages)
Publisher: Springer
Published: 02 Dec 2010

Save for later

Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (Center for the Study of Language and Information Publication Lecture Notes)

by Jon Barwise,Lawrence Moss

ISBN 13: 9781575860084

Format: Paperback (390 pages)
Publisher: Cambridge University Press
Published: 13 Jul 1996

Save for later

The Law of Non-Contradiction: New Philosophical Essays

by

ISBN 13: 9780199204199

Format: Paperback (456 pages)
Publisher: Clarendon Press
Published: 30 Nov 2006

Save for later

Proofs and Confirmations: The Story of the Alternating-Sign Matrix Conjecture (Spectrum)

by David M. Bressoud

ISBN 13: 9780521666466

Format: Paperback (274 pages)
Publisher: Cambridge University Press
Published: 13 Aug 1999

Save for later

An Introduction to Probability and Inductive Logic

by Ian Hacking

ISBN 13: 9780521772877

Format: Hardcover (320 pages)
Publisher: Cambridge University Press
Published: 02 Jul 2001
Other Format: Paperback

Save for later

Computability Theory: An Introduction to Recursion Theory

by Herbert B. Enderton

ISBN 13: 9780123849588

Format: Hardcover (192 pages)
Publisher: Academic Press
Published: 30 Dec 2010

Save for later

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

by Leslie Lamport

ISBN 13: 9780321143068

Format: Paperback (384 pages)
Publisher: Addison Wesley
Published: 19 Jul 2002

Save for later

Completeness and Reduction in Algebraic Complexity Theory (Algorithms and Computation in Mathematics): 7

by Peter Bürgisser

ISBN 13: 9783540667520

Format: Illustrated (186 pages)
Publisher: Springer
Published: 21 Jun 2000

Save for later