Buy Used and New Mathematical Foundations Books

A Mathematical Introduction to Logic

by Herbert Enderton,Herbert B. Enderton

ISBN 13: 9780122384523

Format: Hardcover (317 pages)
Publisher: Academic Press
Published: 01 Jan 2001

Save for later

Logic and Complexity (Discrete Mathematics & Theoretical Computer Science): Discrete Mathematics and Theoretical Computer Science

by Richard Lassaigne,Michel de Rougemont

ISBN 13: 9781852335656

Format: Illustrated (376 pages)
Publisher: Springer
Published: 20 Jan 2004

Save for later

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 8 (Applied Logic Series)

by Wolfgang Bibel,P.H. Schmitt

ISBN 13: 9780792351290

Format: Illustrated (508 pages)
Publisher: Springer
Published: 30 Jun 1998
Other Format: Hardcover

Save for later

Zariski Geometries: Geometry from the Logician's Point of View: 360 (London Mathematical Society Lecture Note Series, Series Number 360)

by Boris Zilber

ISBN 13: 9780521735605

Format: Paperback (224 pages)
Publisher: Cambridge University Press
Published: 28 Feb 2010

Save for later

Cryptanalysis of RSA and Its Variants (Chapman & Hall/CRC Cryptography and Network Security Series)

by M. Jason Hinek, Douglas R. Stinson

ISBN 13: 9781420075182

Format: Hardcover (272 pages)
Publisher: Chapman & Hall
Published: 21 Jul 2009

Save for later

Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)

by Andrew M. Pitts Edited by Andrew D. Gordon

ISBN 13: 9780521631686

Format: Hardcover (400 pages)
Publisher: Cambridge University Press
Published: 22 Jan 1998

Save for later

Computability of Julia Sets: Preliminary Entry 23 (Algorithms and Computation in Mathematics)

by Mark Braverman,Michael Yampolsky

ISBN 13: 9783540685463

Format: Illustrated (168 pages)
Publisher: Springer
Published: 26 Nov 2008

Save for later

LMS: 108 Some Topics in Graph Thry (London Mathematical Society Lecture Note Series, Series Number 108)

by Hian Poh Yap

ISBN 13: 9780521339445

Format: Paperback (240 pages)
Publisher: Cambridge University Press
Published: 21 Aug 2008

Save for later

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

by Ulrich Kohlenbach

ISBN 13: 9783540775324

Format: Hardcover (556 pages)
Publisher: Springer
Published: 26 May 2008

Save for later

Architecture of Systems Problem Solving (IFSR International Series on Systems Science and Engineering)

by George J. Klir, Doug Elias

ISBN 13: 9780306473579

Format: Hardcover (354 pages)
Publisher: Springer
Published: 31 Jan 2003

Save for later

Sweet Reason: A Field Guide to Modern Logic

by James M. Henle, Jay L. Garfield, Thomas Tymoczko

ISBN 13: 9781444337150

Format: Paperback (424 pages)
Publisher: John Wiley & Sons
Published: 26 Aug 2011

Save for later

Lattice Basis Reduction: An Introduction to the LLL Algorithm and Its Applications (Chapman & Hall Pure and Applied Mathematics)

by Murray R. Bremner

ISBN 13: 9781439807026

Format: Hardcover (332 pages)
Publisher: CRC Press
Published: 08 Sep 2011

Save for later