Mathematics in Philosophy: Selected Essays
by Charles Parsons
ISBN 13: 9780801489815
Format: Paperback (368 pages) Publisher: Cornell University Press Published: Mar 2005
Save for later
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
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
The Mathematician's Mind: The Psychology of Invention in the Mathematical Field (Princeton Science Library)
by Jacques Hadamard
ISBN 13: 9780691029313
Format: Paperback (168 pages) Publisher: Princeton University Press Published: 30 Sep 1996
Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)
by Wilfrid Hodges
ISBN 13: 9780521066365
Format: Illustrated (788 pages) Publisher: Cambridge University Press Published: 19 Jun 2008
Mathematician's Brain: A Personal Tour Through the Essentials of Mathematics and Some of the Great Minds Behind Them
by David Ruelle
ISBN 13: 9780691129822
Format: Illustrated (172 pages) Publisher: Princeton University Press Published: 16 Jul 2007
Foundations of Grothendieck Duality for Diagrams of Schemes: 1960 (Lecture Notes in Mathematics)
by Joseph Lipman, Mitsuyasu Hashimoto
ISBN 13: 9783540854197
Format: Paperback (478 pages) Publisher: Springer Published: 05 Feb 2009
Theoretical and Experimental DNA Computation (Natural Computing Series)
by Martyn Amos
ISBN 13: 9783540657736
Format: Hardcover (186 pages) Publisher: Springer Published: 23 Jun 2005
First-order Logic (Dover Books on MaTHEMA 1.4tics)
by Raymond M. Smullyan
ISBN 13: 9780486683706
Format: Paperback (176 pages) Publisher: Dover Publications Inc Published: 01 Apr 1995
Combinatorics and Graph Theory (Undergraduate Texts in Mathematics)
by John Harris,Jeffry L. Hirst,Michael Mossinghoff
ISBN 13: 9780387797106
Format: Illustrated (396 pages) Publisher: Springer Published: 04 Nov 2008
Completeness and Reduction in Algebraic Complexity Theory (Algorithms and Computation in Mathematics): 7
by Peter Bürgisser
ISBN 13: 9783540667520
Format: Illustrated (186 pages) Publisher: Springer Published: 21 Jun 2000