Buy Used and New Mathematical Logic Books

Godel, Escher, Bach: An Eternal Golden Braid

by Douglas Hofstadter

ISBN 13: 9780465026562

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

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

Logical Labyrinths

by Raymond Smullyan

ISBN 13: 9781568814438

Format: Hardcover (275 pages)
Publisher: A K Peters/CRC Press
Published: 30 Nov 2008

Save for later

Logic and the Foundations of Game and Decision Theory (LOFT 7) (Texts in Logic and Games)

by Giacomo Bonanno,Wiebe van der Hoek,Michael Wooldridge

ISBN 13: 9789089640260

Format: Paperback (240 pages)
Publisher: Amsterdam University Press
Published: 01 Jul 2008

Save for later

Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings: 4514 (Lecture Notes in Computer Science)

by Sergei N. Artemov, Anil Nerode

ISBN 13: 9783540727323

Format: Illustrated (528 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

A Study of Logics (Oxford Logic Guides)

by John P. Cleave

ISBN 13: 9780198532118

Format: Hardcover (432 pages)
Publisher: Clarendon Press
Published: 19 Dec 1991

Save for later

Mathematics of Program Construction: 9th International Conference, MPC 2008 Marseille, France, July 15-18, 2008 Proceedings: 5133 (Lecture Notes in Computer Science)

by Philippe Audebaud

ISBN 13: 9783540705932

Format: Paperback (436 pages)
Publisher: Springer
Published: 15 Aug 2008

Save for later

A Course in Formal Languages, Automata and Groups (Universitext)

by Ian M. Chiswell

ISBN 13: 9781848009394

Format: Paperback (157 pages)
Publisher: Springer
Published: 06 Feb 2009

Save for later

The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine

by Charles Petzold

ISBN 13: 9780470229057

Format: Paperback (384 pages)
Publisher: Wiley
Published: 30 May 2008

Save for later

Cryptanalysis of RSA and Its Variants (Chapman & Hall/CRC Cryptography and Network Security Series)

by M. Jason Hinek, Douglas R. Stinson

ISBN 13: 9781420075182

Format: Hardcover (272 pages)
Publisher: Chapman & Hall
Published: 21 Jul 2009

Save for later

Mathematical Foundations of Computer Science 2009: 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, ... 5734 (Lecture Notes in Computer Science)

by Rastislav Kralovic,Damian Niwinski

ISBN 13: 9783642038150

Format: Illustrated (780 pages)
Publisher: Springer
Published: 06 Aug 2009

Save for later

AI*IA 2009: Emergent Perspectives in Artificial Intelligence: XIth International Conference of the Italian Association for Artificial Intelligence, . ... 5883 (Lecture Notes in Computer Science)

by Roberto Serra, Rita Cucchiara

ISBN 13: 9783642102905

Format: Paperback (503 pages)
Publisher: Springer
Published: 30 Nov 2009

Save for later