Mathematical Logic
by Stephen Cole Kleene
ISBN 13: 9780486425337
Format: Paperback (416 pages) Publisher: Dover Publications Inc. Published: 28 Mar 2003
Save for later
Model Theory with Applications to Algebra and Analysis: Volume 1 (London Mathematical Society Lecture Note Series)
by
ISBN 13: 9780521694841
Format: Paperback (350 pages) Publisher: Cambridge University Press Published: 22 May 2008
Model Theory with Applications to Algebra and Analysis: Volume 2 (London Mathematical Society Lecture Note Series)
ISBN 13: 9780521709088
Format: Paperback (444 pages) Publisher: Cambridge University Press Published: 22 May 2008
Model Theory, Algebra, and Geometry (Mathematical Sciences Research Institute Publications)
ISBN 13: 9780521143493
Format: Paperback (236 pages) Publisher: Cambridge University Press Published: 10 Jun 2010
Godel: A Life of Logic, the Mind, and Mathematics
by John L. Casti,Werner Depauli
ISBN 13: 9780738205182
Format: Paperback (224 pages) Publisher: Perseus Books Published: 16 Aug 2001
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)
ISBN 13: 9781568812526
Format: Paperback (424 pages) Publisher: A K Peters/CRC Press Published: 25 Apr 2005
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
Logische Grundlagen Der Mathematik (Springer-Lehrbuch)
by Ralf-Dieter Schindler
ISBN 13: 9783540959311
Format: Paperback (203 pages) Publisher: Springer Published: Mar 2009
In Defence of Objective Bayesianism
by Jon Williamson
ISBN 13: 9780199228003
Format: Hardcover (200 pages) Publisher: OUP Oxford Published: 13 May 2010
State of the Art in Computational Morphology: Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, ... in Computer and Information Science)
ISBN 13: 9783642041303
Format: Paperback (137 pages) Publisher: Springer Published: 28 Aug 2009
Elementary Logic: For Software Development
by Robert Lover
ISBN 13: 9781848000810
Format: Paperback (314 pages) Publisher: Springer Published: 01 Sep 2008