Godel, Escher, Bach: An Eternal Golden Braid
by Douglas R. Hofstadter
ISBN 13: 9780140055795
Format: Paperback (777 pages) Publisher: Penguin Published: 20 Nov 1980
Save for later
Constructing Correct Software: The Basics (Formal Approaches to Computing and Information Technology (FACIT))
by John Cooke
ISBN 13: 9783540761563
Format: Paperback (395 pages) Publisher: Springer Published: 01 Apr 1999 Other Format: Paperback
The Moscow Puzzles: 359 Mathematical Recreations
by Boris a Kordemsky
ISBN 13: 9780140120677
Format: Paperback (320 pages) Publisher: Penguin Published: 29 Mar 1990 Other Format: Illustrated
Computability: An Introduction to Recursive Function Theory
by Nigel Cutland
ISBN 13: 9780521294652
Format: Illustrated (262 pages) Publisher: Cambridge University Press Published: 19 Jun 1980
Logic DeMYSTiFied
by Tony Boutelle,Stan Gibilisco
ISBN 13: 9780071701280
Format: Paperback (394 pages) Publisher: McGraw-Hill Professional Published: 01 Nov 2010
Elementary Induction on Abstract Structures (Dover Books on Mathematics)
by Yiannis N Moschovakis
ISBN 13: 9780486466781
Format: Paperback (240 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
Logic for Computer Science (International Computer Science Series)
by Reeves
ISBN 13: 9780201416435
Format: Paperback (368 pages) Publisher: Addison Wesley Published: 31 May 1990
An Investigation of the Laws of Thought
by George Boole
ISBN 13: 9781603863155
Format: Paperback (336 pages) Publisher: Rough Draft Printing Published: 02 Apr 2010
Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series)
by D.L. Johnson
ISBN 13: 9783540761235
Format: Paperback (198 pages) Publisher: Springer Published: 27 Feb 1998
New Directions in the Philosophy of Mathematics: An Anthology (Revised and expanded edition)
by
ISBN 13: 9780691034980
Format: Paperback (448 pages) Publisher: Princeton University Press Published: 12 Jan 1998
Mathematical Models of Continuous and Discrete Dynamic Systems (Ellis Horwood Series in Mathematics & Its Applications)
by A.J. Oldknow, H.B. Griffiths
ISBN 13: 9780135637920
Format: Paperback (200 pages) Publisher: Ellis Horwood Ltd , Publisher Published: 01 Jun 1993
Modeling with Mathematics: A Bridge to Algebra II
by COMAP
ISBN 13: 9780716707806
Format: Hardcover (607 pages) Publisher: W.H.Freeman & Co Ltd Published: 25 May 2006