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

An Introduction to the Relativistic Theory of Gravitation (Lecture Notes in Physics): 750

by Frank Meyer, Petr Hajicek, Jan Metzger

ISBN 13: 9783540786580

Format: Hardcover (280 pages)
Publisher: Springer
Published: 26 Aug 2008

Save for later

Mathematical Logic

by Tourlakis

ISBN 13: 9780470280744

Format: Illustrated (312 pages)
Publisher: John Wiley & Sons
Published: 13 Aug 2008

Save for later

Basic Category Theory for Computer Scientists (Foundations of computing)

by Benjamin C. Pierce

ISBN 13: 9780262660716

Format: Paperback (116 pages)
Publisher: MIT Press
Published: 30 Sep 1991

Save for later

A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns: 27 (Trends in Logic)

by Mihir Chakraborty, Piero Pagliani

ISBN 13: 9781402086212

Format: Hardcover (706 pages)
Publisher: Springer
Published: 24 Oct 2008

Save for later

Introduction to Logic: And to the Methodology of Deductive Sciences (Dover Books on Mathematics)

by Alfred Tarski

ISBN 13: 9780486284620

Format: Paperback (272 pages)
Publisher: Dover Publications Inc.
Published: 28 Mar 2003

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

Sketches of an Elephant: A Topos Theory Compendium: Volume 2: 44 (Oxford Logic Guides)

by Peter T. Johnstone

ISBN 13: 9780198515982

Format: Hardcover (716 pages)
Publisher: Clarendon Press
Published: 12 Sep 2002

Save for later

The Axiom of Choice (Dover Books on Mathematics)

by Thomas J Jech

ISBN 13: 9780486466248

Format: Illustrated (224 pages)
Publisher: Dover Publications Inc.
Published: 01 Jan 2009

Save for later

Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency): 5800

by Kurt Jensen

ISBN 13: 9783642048548

Format: Paperback (296 pages)
Publisher: Springer
Published: 11 Nov 2009

Save for later