To Infinity and Beyond: A Cultural History of the Infinite (Princeton Paperbacks)
by Eli Maor
ISBN 13: 9780691025117
Format: Paperback (304 pages) Publisher: Princeton University Press Published: 09 Jul 1991
Save for later
Logic DeMYSTiFied
by Tony Boutelle,Stan Gibilisco
ISBN 13: 9780071701280
Format: Paperback (394 pages) Publisher: McGraw-Hill Professional Published: 01 Nov 2010
Automata, Computability and Complexity: Theory and Applications
by Elaine A. Rich
ISBN 13: 9780132288064
Format: Hardcover (1120 pages) Publisher: Prentice Hall Published: 18 Sep 2007
The Moscow Puzzles: 359 Mathematical Recreations
by Boris a Kordemsky
ISBN 13: 9780140120677
Format: Paperback (320 pages) Publisher: Penguin Published: 29 Mar 1990
How to Read and Do Proofs: An Introduction to Mathematical Thought Processes
by Daniel Solow
ISBN 13: 9780471510048
Format: Paperback (264 pages) Publisher: John Wiley & Sons Published: 21 Jun 1990
God Created the Integers: The Mathematical Breakthroughs That Changed History
by Stephen Hawking
ISBN 13: 9780762419227
Format: Hardcover (1176 pages) Publisher: Perseus Books Published: 13 Sep 2005 Other Format: Paperback
Logic in Elementary Mathematics
by Robert M. Exner,Myron F. Rosskopf
ISBN 13: 9780486482217
Format: Paperback (288 pages) Publisher: Dover Publications Inc. Published: 16 Jun 2011
Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)
by Andrew M. Pitts Edited by Andrew D. Gordon
ISBN 13: 9780521631686
Format: Hardcover (400 pages) Publisher: Cambridge University Press Published: 22 Jan 1998
Epistemic Foundations of Fuzziness: Unified Theories on Decision-Choice Processes: 236 (Studies in Fuzziness and Soft Computing)
by Kofi Kissi Dompere
ISBN 13: 9783540880844
Format: Hardcover (266 pages) Publisher: Springer Published: 20 Mar 2009
Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series)
by Antoine Joux
ISBN 13: 9781420070026
Format: Hardcover (519 pages) Publisher: Chapman and Hall/CRC Published: 22 Jun 2009
Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings: 2701 (Lecture Notes in Computer Science)
by Martin Hofmann
ISBN 13: 9783540403326
Format: Illustrated (332 pages) Publisher: Springer Berlin Heidelberg Published: 10 Oct 2008
The Notre Dame Lectures: Lecture Notes in Logic, 18
by Peter Cholak
ISBN 13: 9781568812496
Format: Illustrated (200 pages) Publisher: A K Peters/CRC Press Published: 23 Jun 2005