Buy Used and New Mathematical Foundations Books

Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

by J. Roger Hindley

ISBN 13: 9780521465182

Format: Hardcover (200 pages)
Publisher: Cambridge University Press
Published: 31 Jul 1997

Save for later

The Cauchy-Schwarz Master Class: An Introduction to the Art of Mathematical Inequalities (MAA Problem Books)

by J. Michael Steele

ISBN 13: 9780521546775

Format: Illustrated (316 pages)
Publisher: Cambridge University Press
Published: 15 Jul 2004

Save for later

Proof Theory: The First Step into Impredicativity (Universitext)

by Wolfram Pohlers

ISBN 13: 9783540693185

Format: Illustrated (388 pages)
Publisher: Springer
Published: 13 Oct 2008

Save for later

The Logical Status of Diagrams

by Sun-Joo Shin

ISBN 13: 9780521461573

Format: Hardcover (212 pages)
Publisher: Cambridge University Press
Published: 27 Jan 1995

Save for later

Ernst Zermelo - Collected Works/Gesammelte Werke: Volume I/Band I - Set Theory, Miscellanea/Mengenlehre, Varia: v. 21 (Schriften der Mathematisch-naturwissenschaftlichen Klasse)

by Ernst Zermelo,Heinz-Dieter Ebbinghaus,Enzo de Pellegrin

ISBN 13: 9783540793830

Format: Hardcover (680 pages)
Publisher: Springer
Published: 13 Jan 2010

Save for later

Medical Math (Quick Study: Academic)

by Inc. BarCharts

ISBN 13: 9781423205968

Format: Pamphlet (6 pages)
Publisher: Barcharts, Inc
Published: 21 Aug 2008

Save for later

Higher Topos Theory (AM-170) (Annals of Mathematics Studies) (Annals of Mathematics Studies, 170)

by Jacob Lurie

ISBN 13: 9780691140490

Format: Paperback (944 pages)
Publisher: Princeton University Press
Published: 06 Jul 2009

Save for later

Introduction to Boolean Algebras (Undergraduate Texts in Mathematics)

by Steven Givant,Paul Halmos

ISBN 13: 9780387402932

Format: Illustrated (588 pages)
Publisher: Springer
Published: 03 Feb 2009

Save for later

A Concise Introduction to Mathematical Logic (Universitext)

by Wolfgang Rautenberg

ISBN 13: 9781441912206

Format: Illustrated (342 pages)
Publisher: Springer
Published: 17 Dec 2009

Save for later

Argumentation Schemes

by Douglas Walton, Christopher Reed, Fabrizio Macagno

ISBN 13: 9780521897907

Format: Hardcover (436 pages)
Publisher: Cambridge University Press
Published: 04 Aug 2008
Other Format: Illustrated

Save for later

Logic for Mathematicians

by A. G. Hamilton

ISBN 13: 9780521368650

Format: Paperback (238 pages)
Publisher: Cambridge University Press
Published: 29 Sep 1988

Save for later

Approximation Theory: From Taylor Polynomials to Wavelets (Applied and Numerical Harmonic Analysis)

by Ole Christensen,Khadija Laghrida Christensen

ISBN 13: 9780817636005

Format: Illustrated (167 pages)
Publisher: Birkhäuser
Published: 18 Mar 2004

Save for later