Handbook of Automated Reasoning: Vol 1
by
ISBN 13: 9780444829498
Format: Hardcover (996 pages) Publisher: North Holland Published: 21 Jun 2001
Save for later
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
The Legacy of Alladi Ramakrishnan in the Mathematical Sciences
ISBN 13: 9781441962621
Format: Hardcover (575 pages) Publisher: Springer Published: 02 Sep 2010
Loop Spaces, Characteristic Classes and Geometric Quantization (Modern Birkhäuser Classics)
by Jean-Luc Brylinski
ISBN 13: 9780817647308
Format: Paperback (302 pages) Publisher: Birkhauser Published: 06 Dec 2007
Model Theory, Algebra, and Geometry (Mathematical Sciences Research Institute Publications)
ISBN 13: 9780521143493
Format: Paperback (236 pages) Publisher: Cambridge University Press Published: 10 Jun 2010
Algebraic Geometry and Arithmetic Curves (Oxford Graduate Texts in Mathematics)
by Qing Liu
ISBN 13: 9780199202492
Format: Paperback (600 pages) Publisher: OUP Oxford Published: 29 Jun 2006 Other Format: Hardcover
Complexity and Real Computation
by Lenore Blum,Felipe Cucker,Michael Shub,Steve Smale
ISBN 13: 9780387982816
Format: Hardcover (453 pages) Publisher: Springer Published: 01 Nov 1997
Mathematical Logic: A First Course (Dover Books on Mathematics)
by Joel W Robbin
ISBN 13: 9780486450186
Format: Paperback (224 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
Introduction to the Theory of Sets (Dover Books on Mathematics)
by Joseph Breuer
ISBN 13: 9780486453101
Format: Paperback (128 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
Undecidable Theories (Dover Books on Mathematics)
by Alfred Tarski
ISBN 13: 9780486477039
Format: Paperback (112 pages) Publisher: Dover Publications Inc. Published: 24 Sep 2010