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

Fundamentals of Computation Theory: International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings (Lecture Notes in Computer Science)

by

ISBN 13: 9783540514985

Format: Paperback (504 pages)
Publisher: Springer
Published: 31 Jul 1989

Save for later

Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science)

by

ISBN 13: 9783540517221

Format: Paperback (350 pages)
Publisher: Springer
Published: 11 Oct 1989

Save for later

MICAI 2008: Advances in Artificial Intelligence: 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540886358

Format: Paperback (1034 pages)
Publisher: Springer
Published: 07 Oct 2008

Save for later

Discrete Mathematics Using a Computer

by John O'Donnell,Cordelia Hall,Rex Page

ISBN 13: 9781846282416

Format: Paperback (441 pages)
Publisher: Springer
Published: 14 Aug 2006

Save for later

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings: 5th Internatonal ... Computer Science and General Issues)

by

ISBN 13: 9783540857617

Format: Paperback (455 pages)
Publisher: Springer
Published: 18 Aug 2008

Save for later