Undecidable Theories (Dover Books on Mathematics)
by Alfred Tarski
ISBN 13: 9780486477039
Format: Paperback (112 pages) Publisher: Dover Publications Inc. Published: 24 Sep 2010
Save for later
Logic Colloquium 2000: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Paris, France July 23-31, 2000 (Lecture Notes in Logic)
by
ISBN 13: 9781568812526
Format: Paperback (424 pages) Publisher: A K Peters/CRC Press Published: 25 Apr 2005
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
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
In Defence of Objective Bayesianism
by Jon Williamson
ISBN 13: 9780199228003
Format: Hardcover (200 pages) Publisher: OUP Oxford Published: 13 May 2010
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
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
The Market Revolution: Jacksonian America 1815-1846: Jacksonian America, 1815-46
by Charles Sellers
ISBN 13: 9780195089202
Format: Paperback (512 pages) Publisher: OUP USA Published: 14 Jul 1994
Theories of Computability
by Nicholas Pippenger
ISBN 13: 9780521153430
Format: Paperback (264 pages) Publisher: Cambridge University Press Published: 10 Jun 2010
Classical Mathematical Logic: The Semantic Foundations of Logic
by Richard L. Epstein
ISBN 13: 9780691123004
Format: Hardcover (544 pages) Publisher: Princeton University Press Published: 03 Jul 2006