Sets for Mathematics
by F. William Lawvere
ISBN 13: 9780521010603
Format: Paperback (276 pages) Publisher: Cambridge University Press Published: 10 Apr 2003
Save for later
Cryptographic Boolean Functions and Applications,
by Thomas W. Cusick
ISBN 13: 9780123748904
Format: Illustrated (250 pages) Publisher: Academic Press Published: 21 Apr 2009
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems (Dover Books on MaTHEMA 1.4tics)
by Kurt Godel
ISBN 13: 9780486669809
Format: Paperback (80 pages) Publisher: Dover Publications Inc Published: 01 Apr 1992
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
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
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
Development of Modern Logic
by Leila Haaparanta
ISBN 13: 9780195137316
Format: Hardcover (1006 pages) Publisher: OUP US Published: 01 Jun 2009
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
Logic
by Wilfrid Hodges
ISBN 13: 9780141003146
Format: Paperback (304 pages) Publisher: Penguin Published: 29 Nov 2001
A Course in Formal Languages, Automata and Groups (Universitext)
by Ian M. Chiswell
ISBN 13: 9781848009394
Format: Paperback (157 pages) Publisher: Springer Published: 06 Feb 2009
Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings: 4514 (Lecture Notes in Computer Science)
by Sergei N. Artemov, Anil Nerode
ISBN 13: 9783540727323
Format: Illustrated (528 pages) Publisher: Springer Published: 22 Feb 2009
The Big Shrink
by SACKS GERALD E
ISBN 13: 9789812833815
Format: Illustrated (220 pages) Publisher: World Scientific Publishing Published: 02 Dec 2009