Buy Used and New Mathematical Logic Books

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

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

Logic

by Wilfrid Hodges

ISBN 13: 9780141003146

Format: Paperback (304 pages)
Publisher: Penguin
Published: 29 Nov 2001
Other Format: Paperback

Save for later

Development of Modern Logic

by Leila Haaparanta

ISBN 13: 9780195137316

Format: Hardcover (1006 pages)
Publisher: OUP US
Published: 01 Jun 2009

Save for later

Sets for Mathematics

by F. William Lawvere

ISBN 13: 9780521010603

Format: Paperback (276 pages)
Publisher: Cambridge University Press
Published: 10 Apr 2003

Save for later

Mathematical Logic

by Joseph R. Shoenfield

ISBN 13: 9781568811352

Format: Paperback (352 pages)
Publisher: Routledge
Published: 01 Jan 2001

Save for later

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods I.C.F.E.M. 2009, Rio de Janeiro, Brazil, December ... (Lecture Notes in Computer Science)

by Karin Breitman

ISBN 13: 9783642103728

Format: Paperback (776 pages)
Publisher: Springer
Published: 17 Nov 2009

Save for later

Progress in Cryptology - INDOCRYPT 2009: 10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009, Proceedings ... Computer Science / Security and Cryptology)

by Bimal Roy, Nicolas Sendrier

ISBN 13: 9783642106279

Format: Paperback (443 pages)
Publisher: Springer
Published: 24 Nov 2009

Save for later

A Concise Introduction to Mathematical Logic (Universitext)

by Wolfgang Rautenberg

ISBN 13: 9781441912206

Format: Illustrated (342 pages)
Publisher: Springer
Published: 17 Dec 2009

Save for later