Buy Used and New Mathematical Logic Books

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (OXFORD TEXTS IN LOGIC)

by Shawn Hedman

ISBN 13: 9780198529811

Format: Illustrated (452 pages)
Publisher: OUP Oxford
Published: 08 Jul 2004

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

Schaum's Outline of Boolean Algebra and Switching Circuits

by Elliott Mendelson

ISBN 13: 9780070414600

Format: Paperback (224 pages)
Publisher: McGraw Hill
Published: 16 Jan 1970

Save for later

Cryptology and Network Security: 8th International Conference, C.A.N.S. 2009, Kanazawa, Japan, December 12-14, 2009, Proceedings (Lecture Notes in Computer Science / Security and Cryptology): 5888

by Juan A. Garay, Atsuko Miyaji, Akira Otsuka

ISBN 13: 9783642104329

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

Save for later

Cellular Automata: A Discrete View of the World: 45 (Wiley Series in Discrete Mathematics & Optimization)

by Joel L. Schiff

ISBN 13: 9780470168790

Format: Hardcover (280 pages)
Publisher: Wiley-Interscience
Published: 08 Feb 2008

Save for later

A.I. 2009: Advances in Artificial Intelligence : 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009, Proceedings: 5866 (Lecture Notes in Computer Science)

by Ann Nicholson

ISBN 13: 9783642104381

Format: Paperback (708 pages)
Publisher: Springer
Published: 09 Nov 2009

Save for later

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009, Proceedings: International ... (Lecture Notes in Computer Science)

by Sergei Artemov, Anil Nerode

ISBN 13: 9783540926863

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

Save for later

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