Buy Used and New Mathematical Foundations Books

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

Automated Theorem Proving: Theory and Practice

by Monty Newborn

ISBN 13: 9780387950754

Format: Hardcover (231 pages)
Publisher: Springer
Published: 01 Jan 2001

Save for later

Theorie Und Numerik Restringierter Optimierungsaufgaben (Springer-Lehrbuch Masterclass)

by Carl Geiger,Christian Kanzow

ISBN 13: 9783540427902

Format: Paperback (487 pages)
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 06 Mar 2002

Save for later

Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540412854

Format: Paperback (487 pages)
Publisher: Springer
Published: 23 Oct 2000

Save for later

Einführung in die Kombinatorik.

by Konrad Jacobs,Dieter Jungnickel

ISBN 13: 9783110167276

Format: Paperback (406 pages)
Publisher: Gruyter, Walter de GmbH
Published: 31 Dec 2003

Save for later