The Philosophy of Mathematical Practice
by Paolo Mancosu
ISBN 13: 9780199296453
Format: Illustrated (460 pages) Publisher: OUP Oxford Published: 19 Jun 2008
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
Cryptographic Boolean Functions and Applications,
by Thomas W. Cusick
ISBN 13: 9780123748904
Format: Illustrated (250 pages) Publisher: Academic Press Published: 21 Apr 2009
Theory of Knowledge: The 1913 Manuscript (Collected Papers of Bertrand Russell)
by Kenneth Blackwell,Elizabeth Ramsden Eames,Bertrand Russell
ISBN 13: 9780415082983
Format: Paperback (248 pages) Publisher: Routledge Published: 21 May 1992
Logic
by Wilfrid Hodges
ISBN 13: 9780141003146
Format: Paperback (304 pages) Publisher: Penguin Published: 29 Nov 2001 Other Format: Paperback
The Evolution of Logic (The Evolution of Modern Philosophy)
by W. D. Hart
ISBN 13: 9780521766814
Format: Hardcover (312 pages) Publisher: Cambridge University Press Published: 30 Aug 2010 Other Format: Paperback
Handbook of Automated Reasoning: Vol 1
by
ISBN 13: 9780444829498
Format: Hardcover (996 pages) Publisher: North Holland Published: 21 Jun 2001
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
by Richard W. Kaye
ISBN 13: 9780521708777
Format: Paperback (216 pages) Publisher: Cambridge University Press Published: 12 Jul 2007
Thinking as Communicating: Human Development, the Growth of Discourses, and Mathematizing (Learning in Doing: Social, Cognitive and Computational Perspectives)
by Anna Sfard
ISBN 13: 9780521867375
Format: Hardcover (352 pages) Publisher: Cambridge University Press Published: 21 Jan 2008 Other Format: Illustrated
Logic for Mathematicians
by J Barkley, JR. Rosser
ISBN 13: 9780486468983
Format: Paperback (592 pages) Publisher: Dover Publications Inc. Published: 27 Mar 2009
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