Buy Used and New Mathematical Foundations Books

Gödel's Incompleteness Theorems (Oxford Logic Guides)

by Raymond M. Smullyan

ISBN 13: 9780195046724

Format: Hardcover (160 pages)
Publisher: OUP USA
Published: 22 Oct 1992

Save for later

Computational Turbulent Incompressible Flow: Applied Mathematics: Body and Soul 4: Volume 4: Computational Turbulent Incompressible Flow: Applied Mathematics: Body and Soul v. 4

by Johan Hoffman,Claes Johnson

ISBN 13: 9783540465317

Format: Hardcover (398 pages)
Publisher: Springer
Published: 05 Jan 2007

Save for later

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

by Leonid Libkin

ISBN 13: 9783540212027

Format: Hardcover (318 pages)
Publisher: Springer
Published: 02 Jul 2004

Save for later

Kurt Gödel: Collected Works: Volume III: Unpublished Essays and Lectures: Unpublished Essays and Lectures Vol 3 (Collected Works (Oxford))

by Kurt Gödel

ISBN 13: 9780195147223

Format: Paperback (560 pages)
Publisher: OUP USA
Published: 28 Jun 2001

Save for later

Homology (Classics in Mathematics)

by Saunders MacLane

ISBN 13: 9783540586623

Format: Paperback (422 pages)
Publisher: Springer
Published: 15 Feb 1995

Save for later

Introduction to Set Theory (Pure and Applied Mathematics)

by Karel Hrbacek,Thomas Jech

ISBN 13: 9780824779153

Format: Hardcover (310 pages)
Publisher: CRC Press
Published: 22 Jun 1999

Save for later

Set Theory: The Third Millennium Edition, revised and expanded (Springer Monographs in Mathematics)

by Thomas Jech

ISBN 13: 9783540440857

Format: Hardcover (772 pages)
Publisher: Springer
Published: 18 Oct 2002

Save for later

Access Control, Security and Trust: A Logical Approach (Chapman & Hall/CRC Cryptography and Network Security Series)

by Shiu-Kai Chin,Susan Beth Older

ISBN 13: 9781584888628

Format: Hardcover (351 pages)
Publisher: Chapman and Hall/CRC
Published: 03 Aug 2010

Save for later

Constructivism in Mathematics: v. 2: An Introduction (Studies in Logic and the Foundations of Mathematics)

by A.S. Troelstra,D.van Dalen,D. Van Dalen

ISBN 13: 9780444703583

Format: Hardcover (586 pages)
Publisher: Elsevier Science Ltd
Published: 01 Nov 1988

Save for later

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse

by Torkel Franzén

ISBN 13: 9781568812380

Format: Paperback (182 pages)
Publisher: Routledge
Published: 06 Jun 2005

Save for later

A Framework for Priority Arguments (Lecture Notes in Logic)

by Manuel Lerman

ISBN 13: 9780521119696

Format: Hardcover (176 pages)
Publisher: Cambridge University Press
Published: 19 Apr 2010

Save for later

Advances in Elliptic Curve Cryptography: Further Topics v. 2 (London Mathematical Society Lecture Note Series)

by

ISBN 13: 9780521604154

Format: Paperback (298 pages)
Publisher: Cambridge University Press
Published: 25 Apr 2005

Save for later