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
The Description Logic Handbook: Theory, Implementation and Applications
by
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
Elementary Logic: For Software Development
by Robert Lover
ISBN 13: 9781848000810
Format: Paperback (314 pages) Publisher: Springer Published: 01 Sep 2008
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
Inexhaustibility: A Non-Exhaustive Treatment (Lecture Notes in Logic)
by Torkel Franzén
ISBN 13: 9781568811758
Format: Paperback (300 pages) Publisher: A K Peters/CRC Press Published: 02 Sep 2004
Mathematical Logic: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises: ... Calculus, Completeness Theorems Pt.1
by René Cori,Daniel Lascar
ISBN 13: 9780198500483
Format: Paperback (360 pages) Publisher: OUP Oxford Published: 07 Sep 2000
Elementary Categories, Elementary Toposes (Oxford Logic Guides)
by Colin McLarty
ISBN 13: 9780198514732
Format: Paperback (280 pages) Publisher: Clarendon Press Published: 27 Apr 1995
Kurt Gödel: Collected Works: Volume III: Unpublished Essays and Lectures: Unpublished Essays and Lectures Vol 3 (Collected Works (Oxford))
by Kurt Gödel
ISBN 13: 9780195147223
Format: Paperback (560 pages) Publisher: OUP USA Published: 28 Jun 2001
Access Control, Security and Trust: A Logical Approach (Chapman & Hall/CRC Cryptography and Network Security Series)
by Shiu-Kai Chin,Susan Beth Older
ISBN 13: 9781584888628
Format: Hardcover (351 pages) Publisher: Chapman and Hall/CRC Published: 03 Aug 2010