Buy Used and New Mathematical Foundations Books

The Method of Approximate Inverse: Theory and Applications (Lecture Notes in Mathematics)

by Thomas Schuster

ISBN 13: 9783540712268

Format: Paperback (216 pages)
Publisher: Springer
Published: 07 May 2007

Save for later

Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540559306

Format: Paperback (324 pages)
Publisher: Springer
Published: 25 Aug 1992

Save for later

Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540671909

Format: Paperback (299 pages)
Publisher: Springer
Published: 09 Feb 2000

Save for later

Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783642218743

Format: Paperback (332 pages)
Publisher: Springer
Published: 22 Jun 2011

Save for later

The Strength of Nonstandard Analysis

by

ISBN 13: 9783211998922

Format: Paperback (421 pages)
Publisher: Springer
Published: 13 Oct 2010
Other Format: Hardcover

Save for later

Advanced ukasiewicz calculus and MV-algebras (Trends in Logic)

by D. Mundici

ISBN 13: 9789400708396

Format: Hardcover (274 pages)
Publisher: Springer
Published: 23 Jun 2011

Save for later

The Nature of Computation

by Cristopher Moore, Stephan Mertens

ISBN 13: 9780199233212

Format: Hardcover (1032 pages)
Publisher: OUP Oxford
Published: Jun 2011

Save for later

Principia Mathematica to *56 (Cambridge Mathematical Library)

by Alfred North Whitehead, Bertrand Russell

ISBN 13: 9780521626064

Format: Paperback (460 pages)
Publisher: Cambridge University Press
Published: 11 Sep 1997

Save for later

From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s

by

ISBN 13: 9780195096323

Format: Paperback (352 pages)
Publisher: OUP USA
Published: 13 Nov 1997

Save for later

Proof, Computation and Agency: Logic at the Crossroads (Synthese Library)

by

ISBN 13: 9789400700796

Format: Hardcover (424 pages)
Publisher: Springer
Published: 07 Apr 2011

Save for later

Architecture of Systems Problem Solving (IFSR International Series on Systems Science and Engineering)

by George J. Klir, Doug Elias

ISBN 13: 9780306473579

Format: Hardcover (354 pages)
Publisher: Springer
Published: 31 Jan 2003

Save for later

Sweet Reason: A Field Guide to Modern Logic

by James M. Henle, Jay L. Garfield, Thomas Tymoczko

ISBN 13: 9781444337150

Format: Paperback (424 pages)
Publisher: John Wiley & Sons
Published: 26 Aug 2011

Save for later