Higher Topos Theory (AM-170) (Annals of Mathematics Studies) (Annals of Mathematics Studies, 170)
by Jacob Lurie
ISBN 13: 9780691140490
Format: Paperback (944 pages) Publisher: Princeton University Press Published: 06 Jul 2009
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
Logic for Mathematicians
by A. G. Hamilton
ISBN 13: 9780521368650
Format: Paperback (238 pages) Publisher: Cambridge University Press Published: 29 Sep 1988
Schaum's Outline of Set Theory and Related Topics
by Seymour Lipschutz
ISBN 13: 9780070381599
Format: Paperback (288 pages) Publisher: McGraw Hill Published: 01 Jan 1998
Progress in Cryptology - INDOCRYPT 2009: 10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009, Proceedings ... Computer Science / Security and Cryptology)
by Bimal Roy, Nicolas Sendrier
ISBN 13: 9783642106279
Format: Paperback (443 pages) Publisher: Springer Published: 24 Nov 2009
A Concise Introduction to Mathematical Logic (Universitext)
by Wolfgang Rautenberg
ISBN 13: 9781441912206
Format: Illustrated (342 pages) Publisher: Springer Published: 17 Dec 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
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