Buy Used and New Mathematical Logic Books

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

Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642006647

Format: Paperback (287 pages)
Publisher: Springer
Published: 27 Mar 2009

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

Theoretical Computer Science: 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, ... in Information and Communication Technology)

by

ISBN 13: 9783642152399

Format: Hardcover (387 pages)
Publisher: Springer
Published: 23 Aug 2010

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

Relational Mathematics (Encyclopedia of Mathematics and its Applications)

by Gunther Schmidt

ISBN 13: 9780521762687

Format: Hardcover (582 pages)
Publisher: Cambridge University Press
Published: 04 Nov 2010

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

Computable Analysis: An Introduction (Texts in Theoretical Computer Science. An EATCS Series)

by Klaus Weihrauch

ISBN 13: 9783540668176

Format: Hardcover (285 pages)
Publisher: Springer
Published: 14 Sep 2000

Save for later

Conflict, Complexity and Mathematical Social Science (Contributions to Conflict Management, Peace Economics and Development): 15

by Gordon Burt

ISBN 13: 9781849509725

Format: Hardcover (294 pages)
Publisher: Emerald Group Publishing Limited
Published: 05 Aug 2010

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