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
Save for later
The Big Shrink
by SACKS GERALD E
ISBN 13: 9789812833815
Format: Illustrated (220 pages) Publisher: World Scientific Publishing Published: 02 Dec 2009
Logical Labyrinths
by Raymond Smullyan
ISBN 13: 9781568814438
Format: Hardcover (275 pages) Publisher: A K Peters/CRC Press Published: 30 Nov 2008
Conceptual Mathematics: A First Introduction to Categories
by F. William Lawvere
ISBN 13: 9780521719162
Format: Paperback (408 pages) Publisher: Cambridge University Press Published: 26 Oct 2011
Godel, Escher, Bach: An Eternal Golden Braid
by Douglas Hofstadter
ISBN 13: 9780465026562
Format: Illustrated (777 pages) Publisher: Basic Books Published: 15 Jan 1999
Cryptographic Boolean Functions and Applications,
by Thomas W. Cusick
ISBN 13: 9780123748904
Format: Illustrated (250 pages) Publisher: Academic Press Published: 21 Apr 2009
Logic from Russell to Church: 5 (Handbook of the History of Logic)
by Gabbay
ISBN 13: 9780444516206
Format: Hardcover (950 pages) Publisher: North Holland Published: 17 Jun 2009
Gödel's Theorem: An Incomplete Guide to Its Use and Abuse
by Torkel Franzén
ISBN 13: 9781568812380
Format: Paperback (182 pages) Publisher: Routledge Published: 06 Jun 2005
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
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
Naive Set Theory (Undergraduate Texts in Mathematics)
by P. R. Halmos
ISBN 13: 9780387900926
Format: Hardcover (111 pages) Publisher: Springer Published: 24 Oct 1974
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming
by Christopher John Hogger,D. M. Gabbay,C. Hogger
ISBN 13: 9780198537922
Format: Illustrated (816 pages) Publisher: OUP Oxford Published: 08 Jan 1998