Buy Used and New Mathematical Foundations Books

Intermediate Logic

by David Bostock

ISBN 13: 9780198751427

Format: Paperback (404 pages)
Publisher: Oxford University Press, USA
Published: 09 Oct 1997

Save for later

Naturalism in Mathematics

by N/A

ISBN 13: 9780198250753

Format: Paperback (264 pages)
Publisher: Clarendon Press
Published: 29 Jun 2000

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

Mathematical Logic

by Joseph R. Shoenfield

ISBN 13: 9781568811352

Format: Paperback (352 pages)
Publisher: Routledge
Published: 01 Jan 2001

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

Save for later

Classic Set Theory (Chapman & Hall Mathematics S)

by D.C. Goldrei

ISBN 13: 9780412606106

Format: Paperback (296 pages)
Publisher: Routledge
Published: 01 Jul 1996

Save for later

A Course in Formal Languages, Automata and Groups (Universitext)

by Ian M. Chiswell

ISBN 13: 9781848009394

Format: Paperback (157 pages)
Publisher: Springer
Published: 06 Feb 2009

Save for later

Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings: 4514 (Lecture Notes in Computer Science)

by Sergei N. Artemov, Anil Nerode

ISBN 13: 9783540727323

Format: Illustrated (528 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later