Buy Used and New Mathematical Logic Books

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

Analysis: An Introduction

by Richard Beals

ISBN 13: 9780521600477

Format: Paperback (272 pages)
Publisher: Cambridge University Press
Published: 13 Sep 2004

Save for later

e-Business and Telecommunications: International Conference, ICETE 2008, Porto, Portugal, July 26-29, 2008, Revised Selected Papers (Communications in Computer and Information Science)

by Joaquim Filipe, Mohammad S. Obaidat

ISBN 13: 9783642051968

Format: Paperback (482 pages)
Publisher: Springer
Published: 28 Oct 2009

Save for later

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic (Lecture Notes in Computer Science / Programming and Software Engineering)

by Manuel Clavel,Francisco Durán,Steven Eker,Patrick Lincoln,Narciso Martí-Oliet,José Meseguer,Carolyn Talcott

ISBN 13: 9783540719403

Format: Paperback (797 pages)
Publisher: Springer
Published: 20 Jul 2007

Save for later

Foundations of Software Science and Computational Structures: 12th International Conference, FOSSACS 2009, Held as Part of the Joint European ... Computer Science and General Issues)

by

ISBN 13: 9783642005954

Format: Paperback (471 pages)
Publisher: Springer
Published: 09 Mar 2009

Save for later

Topology via Logic (Cambridge Tracts in Theoretical Computer Science)

by Steven Vickers

ISBN 13: 9780521576512

Format: Paperback (220 pages)
Publisher: Cambridge University Press
Published: 22 Aug 1996

Save for later

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings: 4603 (Lecture Notes in Computer Science, 4603)

by Frank Pfenning

ISBN 13: 9783540735946

Format: Illustrated (536 pages)
Publisher: Springer
Published: 05 Jul 2007

Save for later

Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... (Lecture Notes in Computer Science)

by

ISBN 13: 9783540633983

Format: Paperback (425 pages)
Publisher: Springer
Published: 13 Aug 1997

Save for later

Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)

by Gilles Dowek

ISBN 13: 9780857291202

Format: Paperback (203 pages)
Publisher: Springer
Published: 14 Jan 2011

Save for later

Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540899815

Format: Paperback (844 pages)
Publisher: Springer
Published: 02 Dec 2008

Save for later