Buy Used and New Mathematical Logic Books

Formal Object-Oriented Development (Formal Approaches to Computing and Information Technology (FACIT))

by Kevin Lano

ISBN 13: 9783540199786

Format: Illustrated (436 pages)
Publisher: Springer
Published: 25 Oct 1995

Save for later

Stone Spaces: 3 (Cambridge Studies in Advanced Mathematics, Series Number 3)

by Peter T. Johnstone

ISBN 13: 9780521337793

Format: Paperback (396 pages)
Publisher: Cambridge University Press
Published: 14 Aug 1986

Save for later

Introduction to Logic: And to the Methodology of Deductive Sciences (Dover Books on Mathematics)

by Alfred Tarski

ISBN 13: 9780486284620

Format: Paperback (272 pages)
Publisher: Dover Publications Inc.
Published: 28 Mar 2003

Save for later

Modeling Decisions for Artificial Intelligence: 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009, Proceedings: 5861 (Lecture Notes in Computer Science)

by Yasuo Narukawa,Masahiro Inuiguchi

ISBN 13: 9783642048197

Format: Paperback (388 pages)
Publisher: Springer
Published: 03 Nov 2009

Save for later

Learning Classifier Systems: 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006, and 11th International Workshop, IWLCS 2007, ... 4998 (Lecture Notes in Computer Science)

by Jaume Bacardit

ISBN 13: 9783540881377

Format: Paperback (320 pages)
Publisher: Springer
Published: 23 Oct 2008

Save for later

Mathematical Logic

by Tourlakis

ISBN 13: 9780470280744

Format: Illustrated (312 pages)
Publisher: John Wiley & Sons
Published: 13 Aug 2008

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

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings: 5295 (Lecture Notes in Computer Science)

by Jim Woodcock, Natarajan Shankar

ISBN 13: 9783540878728

Format: Paperback (263 pages)
Publisher: Springer
Published: 22 Sep 2008

Save for later

Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings: 5378 (Lecture Notes in Computer Science)

by R. Ramanujam

ISBN 13: 9783540927006

Format: Paperback (280 pages)
Publisher: Springer
Published: 18 Dec 2008

Save for later

Sets, Functions, and Logic (Chapman & Hall Mathematics)

by Keith Devlin

ISBN 13: 9781584884491

Format: Hardcover (160 pages)
Publisher: Chapman and Hall/CRC
Published: 24 Nov 2003

Save for later

Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note Series)

by

ISBN 13: 9780521718202

Format: Paperback (356 pages)
Publisher: Cambridge University Press
Published: 10 Mar 2011

Save for later

Schaum's Outline of Logic, Second Edition (Schaum's Outline Series)

by John Nolt,Dennis Rohatyn,Achille Varzi

ISBN 13: 9780071755467

Format: Paperback (336 pages)
Publisher: Schaum's Outlines
Published: 01 Mar 2011

Save for later