Buy Used and New Mathematical Logic Books

The Big Shrink

by SACKS GERALD E

ISBN 13: 9789812833815

Format: Illustrated (220 pages)
Publisher: World Scientific Publishing
Published: 02 Dec 2009

Save for later

Symbolic Logic and Mechanical Theorem Proving (Computer Science & Applied Mathematics) (Computer Science and Applied Mathematics)

by Chin-Liang Chang,Richard Char-Tung Lee

ISBN 13: 9780121703509

Format: Illustrated (331 pages)
Publisher: Academic Press
Published: 15 Jun 1973

Save for later

Gödel's Proof

by Ernest Nagel,James R. Newman,Douglas R. Hofstadter

ISBN 13: 9780814758373

Format: Paperback (160 pages)
Publisher: NYU Press
Published: 01 Oct 2008
Other Format: Hardcover

Save for later

Modern Logic: A Text in Elementary Symbolic Logic

by Graeme Forbes

ISBN 13: 9780195080292

Format: Paperback (416 pages)
Publisher: OUP USA
Published: 07 Apr 1994

Save for later

Conceptual Mathematics: A First Introduction to Categories

by F. William Lawvere

ISBN 13: 9780521719162

Format: Paperback (408 pages)
Publisher: Cambridge University Press
Published: 26 Oct 2011

Save for later

Godel, Escher, Bach: An Eternal Golden Braid

by Douglas Hofstadter

ISBN 13: 9780465026562

Format: Illustrated (777 pages)
Publisher: Basic Books
Published: 15 Jan 1999
Other Format: Paperback

Save for later

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

by BERTO

ISBN 13: 9781405197663

Format: Illustrated (256 pages)
Publisher: John Wiley & Sons
Published: 06 Nov 2009
Other Format: Paperback

Save for later

The Mathematician's Mind: The Psychology of Invention in the Mathematical Field (Princeton Science Library)

by Jacques Hadamard

ISBN 13: 9780691029313

Format: Paperback (168 pages)
Publisher: Princeton University Press
Published: 30 Sep 1996

Save for later

An Introduction to the Relativistic Theory of Gravitation (Lecture Notes in Physics): 750

by Frank Meyer, Petr Hajicek, Jan Metzger

ISBN 13: 9783540786580

Format: Hardcover (280 pages)
Publisher: Springer
Published: 26 Aug 2008

Save for later

The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) (Texts in Computing S.)

by Kees Doets,Jan van Eijck

ISBN 13: 9780954300692

Format: Paperback (450 pages)
Publisher: College Publications
Published: 07 Dec 2012

Save for later

Higher Topos Theory (AM-170) (Annals of Mathematics Studies) (Annals of Mathematics Studies, 170)

by Jacob Lurie

ISBN 13: 9780691140490

Format: Paperback (944 pages)
Publisher: Princeton University Press
Published: 06 Jul 2009

Save for later

Introduction to Boolean Algebras (Undergraduate Texts in Mathematics)

by Steven Givant,Paul Halmos

ISBN 13: 9780387402932

Format: Illustrated (588 pages)
Publisher: Springer
Published: 03 Feb 2009

Save for later