Toposes and Local Set Theories: An Introduction (Dover Books on Mathematics)
by J L Bell
ISBN 13: 9780486462868
Format: Paperback (288 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
Save for later
Sets for Mathematics
by F. William Lawvere
ISBN 13: 9780521010603
Format: Paperback (276 pages) Publisher: Cambridge University Press Published: 10 Apr 2003
Classic Set Theory (Chapman & Hall Mathematics S)
by D.C. Goldrei
ISBN 13: 9780412606106
Format: Paperback (296 pages) Publisher: Routledge Published: 01 Jul 1996
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
Logical Frameworks for Truth and Abstraction,135: An Axiomatic Study: Volume 135 (Studies in Logic and the Foundations of Mathematics)
by A. Cantini
ISBN 13: 9780444823069
Format: Illustrated (250 pages) Publisher: Elsevier Published: 14 Mar 1996
Diamond: A Paradox Logic (2Nd Edition): Volume 23 (Series on Knots & Everything)
by Nathaniel S Hellerstein
ISBN 13: 9789814287135
Format: Illustrated (312 pages) Publisher: Wspc Published: 26 Jan 2010
Logic, Induction and Sets (London Mathematical Society Student Texts)
by Thomas Forster
ISBN 13: 9780521533614
Format: Paperback (246 pages) Publisher: Cambridge University Press Published: 25 Sep 2003
Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series)
by D.L. Johnson
ISBN 13: 9783540761235
Format: Paperback (198 pages) Publisher: Springer Published: 27 Feb 1998
Set Theory and the Continuum Hypothesis (Dover Books on Mathematics)
by Paul J Cohen,Martin Davis
ISBN 13: 9780486469218
Format: Illustrated (192 pages) Publisher: Dover Publications Inc. Published: 27 Feb 2009
Intermediate Logic
by David Bostock
ISBN 13: 9780198751427
Format: Paperback (404 pages) Publisher: Oxford University Press, USA Published: 09 Oct 1997
Naturalism in Mathematics
by N/A
ISBN 13: 9780198250753
Format: Paperback (264 pages) Publisher: Clarendon Press Published: 29 Jun 2000
Boolean Functions and Computation Models (Texts in Theoretical Computer Science. An EATCS Series)
ISBN 13: 9783540594369
Format: Hardcover (615 pages) Publisher: Springer Published: 19 Sep 2002