Buy Used and New Mathematical Foundations Books

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. ... Computer Science and General Issues)

by

ISBN 13: 9783642027765

Format: Paperback (540 pages)
Publisher: Springer
Published: 19 Jun 2009

Save for later

Additive Number Theory: Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson

by

ISBN 13: 9780387370293

Format: Hardcover (361 pages)
Publisher: Springer
Published: 02 Sep 2010

Save for later

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

Save for later

Model Theory, Algebra, and Geometry (Mathematical Sciences Research Institute Publications)

by

ISBN 13: 9780521143493

Format: Paperback (236 pages)
Publisher: Cambridge University Press
Published: 10 Jun 2010

Save for later

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

Save for later

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

Save for later

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 for Mathematicians

by J Barkley, JR. Rosser

ISBN 13: 9780486468983

Format: Paperback (592 pages)
Publisher: Dover Publications Inc.
Published: 27 Mar 2009

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

Save for later

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

Mathematical Applications and Modelling 2010: Yearbook, Association of Mathematics Educators

by

ISBN 13: 9789814313339

Format: Hardcover (352 pages)
Publisher: World Scientific Publishing Co Pte Ltd
Published: 30 Jun 2010

Save for later