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
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
Linear Algebraic Groups (Modern Birkhäuser Classics)
by T.A. Springer
ISBN 13: 9780817648398
Format: Illustrated (346 pages) Publisher: Birkhäuser Published: 13 Nov 2008
Lambda-Calculus and Combinators: An Introduction
by J. Roger Hindley,Jonathan P. Seldin
ISBN 13: 9780521898850
Format: Illustrated (358 pages) Publisher: Cambridge University Press Published: 24 Jul 2008
Weaving Self-Evidence: A Sociology of Logic: 13 (Princeton Studies in Cultural Sociology)
by Claude Rosental,Catherine Porter
ISBN 13: 9780691139401
Format: Paperback (310 pages) Publisher: Princeton University Press Published: 14 Apr 2015
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
by Yoav Shoham,Kevin Leyton-Brown
ISBN 13: 9780521899437
Format: Illustrated (504 pages) Publisher: Cambridge University Press Published: 15 Dec 2008
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