Sets for Mathematics
by F. William Lawvere
ISBN 13: 9780521010603
Format: Paperback (276 pages) Publisher: Cambridge University Press Published: 10 Apr 2003
Save for later
Fundamental Problems in Computing: Essays in Honor of Professor Daniel J. Rosenkrantz
by Sekharipuram S. Ravi, Sandeep K. Shukla
ISBN 13: 9781402096877
Format: Hardcover (518 pages) Publisher: Springer Published: 15 Apr 2009
The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) (Texts in Computing S.)
by Kees Doets,Jan van Eijck
ISBN 13: 9780954300692
Format: Paperback (450 pages) Publisher: College Publications Published: 07 Dec 2012
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
There's Something About Godel!: The Complete Guide to the Incompleteness Theorem
by BERTO
ISBN 13: 9781405197663
Format: Illustrated (256 pages) Publisher: John Wiley & Sons Published: 06 Nov 2009 Other Format: Paperback
AI 2008: Advances in Artificial Intelligence: 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008 ... 5360 (Lecture Notes in Computer Science)
by Wayne Wobcke
ISBN 13: 9783540893776
Format: Paperback (632 pages) Publisher: Springer Published: 03 Dec 2008
Mathematics of Program Construction: 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings: 3125 (Lecture Notes in Computer Science)
by Dexter Kozen,Carron Shankland
ISBN 13: 9783540223801
Format: Illustrated (416 pages) Publisher: Springer Published: 24 Jun 2004
Applied Logistic Regression Analysis (Quantitative Applications in the Social Sciences) (v. 106)
by Scott Menard
ISBN 13: 9780761922087
Format: Illustrated (128 pages) Publisher: SAGE Publications, Inc Published: 05 Dec 2001
Graph Theory, Computational Intelligence and Thought: Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday: 5420 (Lecture Notes in Computer Science)
by Marina Lipshteyn,Vadim E. Levit,Ross McConnell
ISBN 13: 9783642020285
Format: Paperback (244 pages) Publisher: Springer Published: 20 Jul 2009
Algorithmic Decision Theory: First International Conference, A.D.T. 2009, Venice, Italy, October 2009, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence): 5783
by Francesca Rossi
ISBN 13: 9783642044274
Format: Paperback (476 pages) Publisher: Springer Published: 05 Oct 2009
Constraint Handling Rules: Current Research Topics (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence): 5388
by Tom Schrijvers, Thom Frühwirth
ISBN 13: 9783540922421
Format: Paperback (245 pages) Publisher: Springer Published: 18 Dec 2008
Logicism, Intuitionism, and Formalism: What Has Become of Them?: 341 (Synthese Library)
by Sten Lindström,Erik Palmgren,Krister Segerberg
ISBN 13: 9781402089251
Format: Illustrated (528 pages) Publisher: Springer Published: 02 Dec 2008