Buy Used and New Mathematical Foundations Books

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

Save for later

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

Save for later

Mathematical Constants (Encyclopedia of Mathematics and its Applications)

by Steven R. Finch

ISBN 13: 9780521818056

Format: Hardcover (624 pages)
Publisher: Cambridge University Press
Published: 18 Aug 2003

Save for later

Quadratic Forms, Linear Algebraic Groups, and Cohomology (Developments in Mathematics)

by

ISBN 13: 9781441962102

Format: Hardcover (348 pages)
Publisher: Springer
Published: 29 Jul 2010

Save for later

Rough Sets and Knowledge Technology: 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642029615

Format: Paperback (709 pages)
Publisher: Springer
Published: 24 Jun 2009

Save for later

Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009, Proceedings (Lecture Notes in ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783642048920

Format: Paperback (329 pages)
Publisher: Springer
Published: 23 Sep 2009

Save for later

Elementary Induction on Abstract Structures (Dover Books on Mathematics)

by Yiannis N Moschovakis

ISBN 13: 9780486466781

Format: Paperback (240 pages)
Publisher: Dover Publications Inc.
Published: 01 Jan 2009

Save for later

The Number System (Dover Books on Mathematics)

by H.A. Thurston

ISBN 13: 9780486458069

Format: Paperback (144 pages)
Publisher: Dover Publications Inc.
Published: 27 Apr 2007

Save for later

Metalogic: An Introduction to the Metatheory of Standard First Order Logic

by Hunter

ISBN 13: 9780520023567

Format: Paperback (302 pages)
Publisher: University of California Press
Published: 01 Jul 1992

Save for later

Analysis: An Introduction

by Richard Beals

ISBN 13: 9780521600477

Format: Paperback (272 pages)
Publisher: Cambridge University Press
Published: 13 Sep 2004

Save for later

Computability In Context: Computation And Logic In The Real World

by Cooper S Barry et al

ISBN 13: 9781848162457

Format: Hardcover (420 pages)
Publisher: Imperial College Press
Published: 25 Apr 2011

Save for later

The Proof is in the Pudding: The Changing Nature of Mathematical Proof

by Steven G. Krantz

ISBN 13: 9780387489087

Format: Hardcover (281 pages)
Publisher: Springer
Published: 19 May 2011

Save for later