Buy Used and New Mathematical Logic Books

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

by Leslie Lamport

ISBN 13: 9780321143068

Format: Paperback (384 pages)
Publisher: Addison Wesley
Published: 19 Jul 2002

Save for later

Deduction: Introductory Symbolic Logic

by Daniel Bonevac

ISBN 13: 9780631227137

Format: Paperback (528 pages)
Publisher: Wiley-Blackwell
Published: 13 Sep 2002

Save for later

New Directions in the Philosophy of Mathematics: An Anthology (Revised and expanded edition)

by

ISBN 13: 9780691034980

Format: Paperback (448 pages)
Publisher: Princeton University Press
Published: 12 Jan 1998

Save for later

Computers, Rigidity, and Moduli: The Large-Scale Fractal Geometry of Riemannian Moduli Space (Porter Lectures)

by Shmuel Weinberger

ISBN 13: 9780691118895

Format: Hardcover (192 pages)
Publisher: Princeton University Press
Published: 29 Nov 2004

Save for later

Algorithm Engineering: Bridging the Gap Between Algorithm Theory and Practice (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

by

ISBN 13: 9783642148651

Format: Paperback (513 pages)
Publisher: Springer
Published: 05 Aug 2010

Save for later

Finite Automata

by Mark V. Lawson

ISBN 13: 9781584882558

Format: Illustrated (320 pages)
Publisher: Chapman and Hall/CRC
Published: 17 Sep 2003

Save for later

Rough Sets and Knowledge Technology: Second International Conference, RSKT 2007 Toronto, Canada, May 14-16, 2007 Proceedings: 4481 (Lecture Notes in Computer Science)

by JingTao Yao,Nick J. Cercone,Wei-Zhi Wu,Pawan Lingras,Marcin Szczuka

ISBN 13: 9783540724575

Format: Illustrated (592 pages)
Publisher: Springer
Published: 27 Apr 2007

Save for later

Principles of Applied Mathematics (Advanced Book Program)

by James P. Keener

ISBN 13: 9780738201290

Format: Hardcover (624 pages)
Publisher: CRC Press
Published: 14 Jan 2000

Save for later

Computational Linguistics and Intelligent Text Processing: 10th International Conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009, Proceedings: 5449 (Lecture Notes in Computer Science)

by Alexander Gelbukh

ISBN 13: 9783642003813

Format: Paperback (604 pages)
Publisher: Springer
Published: 16 Feb 2009

Save for later

An Introduction to Non-Classical Logic, Second Edition: From If to Is (Cambridge Introductions to Philosophy)

by Graham Priest

ISBN 13: 9780521670265

Format: Paperback (646 pages)
Publisher: Cambridge University Press
Published: 10 Apr 2008

Save for later

Quantum Groups: A Path To Current Algebra: 19 (Australian Mathematical Society Lecture Series, Series Number 19)

by Ross Street

ISBN 13: 9780521695244

Format: Illustrated (160 pages)
Publisher: Cambridge University Press
Published: 18 Jan 2007

Save for later

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