Toposes and Local Set Theories: An Introduction (Dover Books on Mathematics)
by J L Bell
ISBN 13: 9780486462868
Format: Paperback (288 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
Save for later
Godel, Escher, Bach: An Eternal Golden Braid
by Douglas Hofstadter
ISBN 13: 9780465026562
Format: Illustrated (777 pages) Publisher: Basic Books Published: 15 Jan 1999 Other Format: Paperback
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
Flow, Gesture, and Spaces in Free Jazz: Towards a Theory of Collaboration (Computational Music Science)
by Guerino Mazzola,Paul B. Cherlin,Mathias Rissi,Nathan Kennedy
ISBN 13: 9783540921943
Format: Hardcover (154 pages) Publisher: Springer Published: 12 Jan 2009
Game Set and Math: Enigmas and Conundrums (Dover Books on MaTHEMA 1.4tics)
by Ian Stewart
ISBN 13: 9780486458847
Format: Illustrated (208 pages) Publisher: Dover Publications Inc Published: 12 May 2007 Other Format: Paperback
2000 Solved Problems in Discrete Mathematics (SCHAUM)
by Seymour Lipschutz
ISBN 13: 9780070380318
Format: Paperback (432 pages) Publisher: McGraw Hill Published: 01 Jun 1990
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
Algorithms and Theory of Computation Handbook, Volume 2: Special Topics and Techniques (Chapman & Hall/CRC Applied Algorithms and Data Structures series)
by Mikhail J. Atallah, Marina Blanton
ISBN 13: 9781584888208
Format: Illustrated (950 pages) Publisher: Chapman and Hall/CRC Published: 20 Nov 2009
Set Theory and the Continuum Hypothesis (Dover Books on Mathematics)
by Paul J Cohen,Martin Davis
ISBN 13: 9780486469218
Format: Illustrated (192 pages) Publisher: Dover Publications Inc. Published: 27 Feb 2009
Naive Set Theory (Undergraduate Texts in Mathematics)
by P. R. Halmos
ISBN 13: 9780387900926
Format: Hardcover (111 pages) Publisher: Springer Published: 24 Oct 1974
Algorithmic Composition: Paradigms of Automated Music Generation
by Gerhard Nierhaus
ISBN 13: 9783211755396
Format: Hardcover (297 pages) Publisher: Springer Published: 05 Nov 2008
Mathematical Logic (Undergraduate Texts in Mathematics)
by H.-D. Ebbinghaus,J. Flum,W. Thomas
ISBN 13: 9780387942582
Format: Illustrated (308 pages) Publisher: Springer Published: 01 Dec 1996