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
Save for later
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
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
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
LMS: 43 Graphs, Codes & Designs (London Mathematical Society Lecture Note Series, Series Number 43)
by P. J. Cameron
ISBN 13: 9780521231411
Format: Paperback (156 pages) Publisher: Cambridge University Press Published: 31 Jul 1980
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
Essential Mathematical Methods for the Physical Sciences
by K. F. Riley,M. P. Hobson
ISBN 13: 9780521761147
Format: Hardcover (846 pages) Publisher: Cambridge University Press Published: 17 Feb 2011 Other Format: Paperback
Logic of Mathematics (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
by Zofia Adamowicz,Pawel Zbierski
ISBN 13: 9780471060260
Format: Hardcover (272 pages) Publisher: Wiley-Blackwell Published: 07 Apr 1997
Sets, Functions, and Logic (Chapman & Hall Mathematics)
by Keith Devlin
ISBN 13: 9781584884491
Format: Hardcover (160 pages) Publisher: Chapman and Hall/CRC Published: 24 Nov 2003
Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note Series)
by
ISBN 13: 9780521718202
Format: Paperback (356 pages) Publisher: Cambridge University Press Published: 10 Mar 2011
An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)
by George R. R. Exner
ISBN 13: 9780387946177
Format: Illustrated (224 pages) Publisher: Springer Published: 22 Jun 1999
A Student's Guide to Data and Error Analysis
by Herman J. C. Berendsen
ISBN 13: 9780521134927
Format: Paperback (240 pages) Publisher: Cambridge University Press Published: 07 Apr 2011 Other Format: Hardcover