Buy Used and New Mathematical Foundations Books

An Introduction to Error Analysis: The Study of Uncertainties in Physical Measurements

by John R. Taylor

ISBN 13: 9780935702750

Format: Paperback (327 pages)
Publisher: University Science Books,U.S.
Published: 14 Jul 1997

Save for later

Methods of Homological Algebra (Springer Monographs in Mathematics)

by Sergei I. Gelfand,Yuri I. Manin

ISBN 13: 9783540435839

Format: Hardcover (376 pages)
Publisher: Springer
Published: 26 Nov 2002

Save for later

Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)

by Saunders MacLane,Ieke Moerdijk

ISBN 13: 9780387977102

Format: Paperback (629 pages)
Publisher: Springer
Published: 14 May 1992

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

Alfred Tarski: Life and Logic (Cambridge Concise Histories)

by Anita Burdman Feferman,Solomon Feferman

ISBN 13: 9780521714013

Format: Paperback (432 pages)
Publisher: Cambridge University Press
Published: 07 Apr 2008

Save for later

Theory of Association Schemes (Springer Monographs in Mathematics)

by N/A

ISBN 13: 9783540261360

Format: Hardcover (283 pages)
Publisher: Springer
Published: 20 Oct 2005

Save for later

Category Theory (Oxford Logic Guides)

by N/A

ISBN 13: 9780199237180

Format: Paperback (320 pages)
Publisher: OUP Oxford
Published: 17 Jun 2010

Save for later

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936: Publications 1929-1936 Vol 1 (Collected Works (Oxford))

by N/A

ISBN 13: 9780195147209

Format: Paperback (504 pages)
Publisher: OUP USA
Published: 05 Jul 2001
Other Format: Illustrated

Save for later

Boolean Functions and Computation Models (Texts in Theoretical Computer Science. An EATCS Series)

by N/A

ISBN 13: 9783540594369

Format: Hardcover (615 pages)
Publisher: Springer
Published: 19 Sep 2002

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

Automated Theorem Proving: Theory and Practice

by Monty Newborn

ISBN 13: 9780387950754

Format: Hardcover (231 pages)
Publisher: Springer
Published: 01 Jan 2001

Save for later