Alfred Tarski: Life and Logic (Cambridge Concise Histories)
by Anita Burdman Feferman,Solomon Feferman
ISBN 13: 9780521714013
Format: Paperback (432 pages) Publisher: Cambridge University Press Published: 07 Apr 2008
Save for later
Computational Linguistics and Intelligent Text Processing: 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007, ... Computer Science and General Issues)
by
ISBN 13: 9783540709381
Format: Paperback (648 pages) Publisher: Springer Published: 07 Feb 2007
Loop Spaces, Characteristic Classes and Geometric Quantization (Modern Birkhäuser Classics)
by Jean-Luc Brylinski
ISBN 13: 9780817647308
Format: Paperback (302 pages) Publisher: Birkhauser Published: 06 Dec 2007
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
Complexity and Real Computation
by Lenore Blum,Felipe Cucker,Michael Shub,Steve Smale
ISBN 13: 9780387982816
Format: Hardcover (453 pages) Publisher: Springer Published: 01 Nov 1997
Mathematical Logic: A First Course (Dover Books on Mathematics)
by Joel W Robbin
ISBN 13: 9780486450186
Format: Paperback (224 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
Introduction to the Theory of Sets (Dover Books on Mathematics)
by Joseph Breuer
ISBN 13: 9780486453101
Format: Paperback (128 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
Undecidable Theories (Dover Books on Mathematics)
by Alfred Tarski
ISBN 13: 9780486477039
Format: Paperback (112 pages) Publisher: Dover Publications Inc. Published: 24 Sep 2010
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
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
Mathematical Applications and Modelling 2010: Yearbook, Association of Mathematics Educators
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