Mathematics and Its History (Undergraduate Texts in Mathematics)
by John Stillwell
ISBN 13: 9781441960528
Format: Hardcover (660 pages) Publisher: Springer Published: 01 Aug 2010
Save for later
Convex Sets and Their Applications
by Steven R. Lay
ISBN 13: 9780486458038
Format: Paperback (256 pages) Publisher: Dover Publications Inc. Published: 29 Jun 2007
From the Calculus to Set Theory 1630-1910: An Introductory History (Princeton Paperbacks)
by
ISBN 13: 9780691070827
Format: Paperback (306 pages) Publisher: Princeton University Press Published: 20 Nov 2000
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
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
Proof Theory for Fuzzy Logics: 36 (Applied Logic Series)
by Metcalfe
ISBN 13: 9781402094088
Format: Hardcover (288 pages) Publisher: Springer Published: 16 Dec 2008
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
The Big Shrink
by SACKS GERALD E
ISBN 13: 9789812833815
Format: Illustrated (220 pages) Publisher: World Scientific Publishing Published: 02 Dec 2009
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