Theory of Recursive Functions and Effective Computability
by Rogers,Howard Poizner,Edward S. Klima,Ursula Bellugi
ISBN 13: 9780262680523
Format: Paperback (504 pages) Publisher: MIT Press Published: 01 Jan 1987
Save for later
Mathematical Applications and Modelling 2010: Yearbook, Association of Mathematics Educators
by
ISBN 13: 9789814313339
Format: Hardcover (352 pages) Publisher: World Scientific Publishing Co Pte Ltd Published: 30 Jun 2010
The Description Logic Handbook: Theory, Implementation and Applications
ISBN 13: 9780521150118
Format: Paperback (624 pages) Publisher: Cambridge University Press Published: 20 May 2010
The Evolution of Logic (The Evolution of Modern Philosophy)
by W. D. Hart
ISBN 13: 9780521747721
Format: Paperback (306 pages) Publisher: Cambridge University Press Published: 23 Aug 2010 Other Format: Hardcover
The Design Inference: Eliminating Chance through Small Probabilities (Cambridge Studies in Probability, Induction and Decision Theory)
by William A. Dembski
ISBN 13: 9780521678674
Format: Paperback (262 pages) Publisher: Cambridge University Press Published: 09 Jan 2006 Other Format: Hardcover
Zeta Functions over Zeros of Zeta Functions (Lecture Notes of the Unione Matematica Italiana)
by André Voros
ISBN 13: 9783642052026
Format: Paperback (163 pages) Publisher: Springer Published: 17 Dec 2009
In Defence of Objective Bayesianism
by Jon Williamson
ISBN 13: 9780199228003
Format: Hardcover (200 pages) Publisher: OUP Oxford Published: 13 May 2010
Elements of Automata Theory (Encyclopedia of Mathematics and Its Applications)
by Jacques Sakarovitch
ISBN 13: 9780521844253
Format: Hardcover (782 pages) Publisher: Cambridge University Press Published: 01 Oct 2009
Recursive Analysis (Dover Books on Mathematics)
by R L Goodstein
ISBN 13: 9780486477510
Format: Paperback (144 pages) Publisher: Dover Publications Inc. Published: 25 Jun 2010
Elementary Logic: For Software Development
by Robert Lover
ISBN 13: 9781848000810
Format: Paperback (314 pages) Publisher: Springer Published: 01 Sep 2008
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, ... Computer Science and General Issues)
ISBN 13: 9783642040269
Format: Paperback (567 pages) Publisher: Springer Published: 28 Aug 2009
Automata Theory and its Applications (Progress in Computer Science and Applied Logic (PCS))
by Bakhadyr Khoussainov,Anil Nerode
ISBN 13: 9780817642075
Format: Hardcover (430 pages) Publisher: Birkhauser Published: 01 Jul 2001