Theoretical and Experimental DNA Computation (Natural Computing Series)
by Martyn Amos
ISBN 13: 9783540657736
Format: Hardcover (186 pages) Publisher: Springer Published: 23 Jun 2005
Save for later
First-order Logic (Dover Books on MaTHEMA 1.4tics)
by Raymond M. Smullyan
ISBN 13: 9780486683706
Format: Paperback (176 pages) Publisher: Dover Publications Inc Published: 01 Apr 1995
Combinatorics and Graph Theory (Undergraduate Texts in Mathematics)
by John Harris,Jeffry L. Hirst,Michael Mossinghoff
ISBN 13: 9780387797106
Format: Illustrated (396 pages) Publisher: Springer Published: 04 Nov 2008
Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)
by Wilfrid Hodges
ISBN 13: 9780521066365
Format: Illustrated (788 pages) Publisher: Cambridge University Press Published: 19 Jun 2008
The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) (Texts in Computing S.)
by Kees Doets,Jan van Eijck
ISBN 13: 9780954300692
Format: Paperback (450 pages) Publisher: College Publications Published: 07 Dec 2012
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
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
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
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
Cryptographic Boolean Functions and Applications,
by Thomas W. Cusick
ISBN 13: 9780123748904
Format: Illustrated (250 pages) Publisher: Academic Press Published: 21 Apr 2009
Logic
ISBN 13: 9780141003146
Format: Paperback (304 pages) Publisher: Penguin Published: 29 Nov 2001 Other Format: Paperback