Buy Used and New Mathematical Foundations Books

Handbook of Automated Reasoning: Vol 1

by

ISBN 13: 9780444829498

Format: Hardcover (996 pages)
Publisher: North Holland
Published: 21 Jun 2001

Save for later

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

by Richard W. Kaye

ISBN 13: 9780521708777

Format: Paperback (216 pages)
Publisher: Cambridge University Press
Published: 12 Jul 2007

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

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

Free Boundary Problems: Theory and Applications (International Series of Numerical Mathematics)

by

ISBN 13: 9783764377182

Format: Hardcover (470 pages)
Publisher: Birkhauser
Published: 22 Nov 2006

Save for later

Iterative Approximation of Fixed Points (Lecture Notes in Mathematics)

by Vasile Berinde

ISBN 13: 9783540722335

Format: Paperback (342 pages)
Publisher: Springer
Published: 16 May 2007

Save for later

Deterministic and Statistical Methods in Machine Learning: First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540290735

Format: Paperback (349 pages)
Publisher: Springer
Published: 11 Oct 2005

Save for later

Numerical Mathematics (Texts in Applied Mathematics)

by Alfio Quarteroni,Riccardo Sacco,Fausto Saleri

ISBN 13: 9783540346586

Format: Hardcover (657 pages)
Publisher: Springer
Published: 19 Oct 2006

Save for later

Scientific Opportunism / L'Opportunisme scientifique: An Anthology (Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives / Science autour de / around 1900)

by Henri Poincaré

ISBN 13: 9783764365394

Format: Hardcover (234 pages)
Publisher: Birkhauser
Published: 01 Jan 2002

Save for later