Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153
by Dov M. Gabbay,Dimitrij Skvortsov,Valentin Shehtman
ISBN 13: 9780444520128
Format: Illustrated (640 pages) Publisher: Elsevier Science Published: 09 Jun 2009
Save for later
Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II): A Course with Exercises Part II: ... Godel's Theorems, Set Theory, Model Theory
by Rene Cori,Donald H. Pelletier,Daniel Lascar
ISBN 13: 9780198500506
Format: Paperback (352 pages) Publisher: Oxford University Press, USA Published: 12 Apr 2001
Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science)
by Andrea Corradini, Ugo Montanari
ISBN 13: 9783642034282
Format: Paperback (352 pages) Publisher: Springer Published: 07 Sep 2009
A Primer of Infinitesimal Analysis
by John L. Bell
ISBN 13: 9780521887182
Format: Hardcover (140 pages) Publisher: Cambridge University Press Published: 07 Apr 2008
Thinking as Communicating: Human Development, the Growth of Discourses, and Mathematizing (Learning in Doing: Social, Cognitive and Computational Perspectives)
by Anna Sfard
ISBN 13: 9780521161541
Format: Illustrated (352 pages) Publisher: Cambridge University Press Published: 29 Apr 2010
Philosophy of Mathematics: Structure and Ontology
by Stewart Shapiro
ISBN 13: 9780195139303
Format: Paperback (296 pages) Publisher: Oxford University Press USA Published: 12 Oct 2000
Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
by Robert Goldblatt
ISBN 13: 9780486450261
Format: Paperback (576 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
The Rise of Modern Logic: from Leibniz to Frege (Handbook of the History of Logic)
by
ISBN 13: 9780444516114
Format: Hardcover (780 pages) Publisher: North Holland Published: 08 Mar 2004
104 Number Theory Problems: From the Training of the USA IMO Team
by Titu Andreescu,Dorin Andrica,Zuming Feng
ISBN 13: 9780817645274
Format: Paperback (204 pages) Publisher: Birkhauser Published: 08 Jan 2007
Geometry of Cuts and Metrics (Algorithms and Combinatorics)
by Michel Marie Deza,Monique Laurent
ISBN 13: 9783642042942
Format: Paperback (587 pages) Publisher: Springer Published: 07 Dec 2009
The Emergence of Probability: A Philosophical Study of Early Ideas about Probability, Induction and Statistical Inference (Cambridge Series on Statistical and Probabilistic Mathematic)
by Ian Hacking
ISBN 13: 9780521685573
Format: Paperback (244 pages) Publisher: Cambridge University Press Published: 31 Jul 2006
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)
by Roberto M. Amadio,Pierre-Louis Curien
ISBN 13: 9780521622776
Format: Hardcover (504 pages) Publisher: Cambridge University Press Published: 02 Jul 1998