Logic for Mathematicians
by A. G. Hamilton
ISBN 13: 9780521368650
Format: Paperback (238 pages) Publisher: Cambridge University Press Published: 29 Sep 1988
Save for later
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
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