Buy Used and New Mathematical Logic Books

Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642024238

Format: Paperback (353 pages)
Publisher: Springer
Published: 09 Jun 2009

Save for later

Compiler Construction: 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ... Computer Science and General Issues)

by

ISBN 13: 9783642119699

Format: Paperback (326 pages)
Publisher: Springer
Published: 16 Mar 2010

Save for later

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

Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540894384

Format: Paperback (728 pages)
Publisher: Springer
Published: 13 Nov 2008

Save for later

The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today (Logic, Epistemology, and the Unity of Science)

by

ISBN 13: 9789048124855

Format: Paperback (360 pages)
Publisher: Springer
Published: 12 Mar 2009

Save for later

From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics (Synthese Library)

by

ISBN 13: 9789048145546

Format: Paperback (488 pages)
Publisher: Springer
Published: 16 Nov 2010

Save for later

Inductive Logic Programming: 13th International Conference, ILP 2003 Szeged, Hungary, September 29-October 1, 2003 Proceedings: 2835 (Lecture Notes in Computer Science)

by Tamás Horváth,Akihiro Yamamoto

ISBN 13: 9783540201441

Format: Paperback (416 pages)
Publisher: Springer
Published: 24 Sep 2003

Save for later

Machine Learning: ECML 2002: 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002. Proceedings: 2430 (Lecture Notes in Computer Science)

by Tapio Elomaa,Hannu Toivonen,Heikki Mannila

ISBN 13: 9783540440369

Format: Paperback (552 pages)
Publisher: Springer
Published: 05 Aug 2002

Save for later