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
Save for later
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
Set Theory and Logic
by Robert R. Stoll
ISBN 13: 9780486638294
Format: Paperback (496 pages) Publisher: Dover Publications Inc. Published: 03 Mar 1980
Theories of Computability
by Nicholas Pippenger
ISBN 13: 9780521153430
Format: Paperback (264 pages) Publisher: Cambridge University Press Published: 10 Jun 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)
by
ISBN 13: 9781568812526
Format: Paperback (424 pages) Publisher: A K Peters/CRC Press Published: 25 Apr 2005
Topics in Topological Graph Theory (Encyclopedia of Mathematics and its Applications)
ISBN 13: 9780521802307
Format: Hardcover (366 pages) Publisher: Cambridge University Press Published: 09 Jul 2009
Applied Numerical Methods for Engineers
by Terrence J. Akai
ISBN 13: 9780471575238
Format: Paperback (410 pages) Publisher: John Wiley & Sons Published: 11 Mar 1994
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
Subsystems of Second Order Arithmetic (Perspectives in Logic)
by Stephen G. Simpson
ISBN 13: 9780521884396
Format: Hardcover (464 pages) Publisher: Cambridge University Press Published: 29 May 2009
Bledsoe:Auto Theo Prov Conm 29 P (Contemporary Mathematics): After 25 Years
by W. W Bledsoe,Donald W. Loveland
ISBN 13: 9780821850275
Format: Paperback (360 pages) Publisher: American Mathematical Society Published: 15 Dec 1984