Buy Used and New Mathematical Foundations Books

LMS: 108 Some Topics in Graph Thry (London Mathematical Society Lecture Note Series, Series Number 108)

by Hian Poh Yap

ISBN 13: 9780521339445

Format: Paperback (240 pages)
Publisher: Cambridge University Press
Published: 21 Aug 2008

Save for later

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

by Ulrich Kohlenbach

ISBN 13: 9783540775324

Format: Hardcover (556 pages)
Publisher: Springer
Published: 26 May 2008

Save for later

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming

by Christopher John Hogger,D. M. Gabbay,C. Hogger

ISBN 13: 9780198537922

Format: Illustrated (816 pages)
Publisher: OUP Oxford
Published: 08 Jan 1998

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

Lattice Basis Reduction: An Introduction to the LLL Algorithm and Its Applications (Chapman & Hall Pure and Applied Mathematics)

by Murray R. Bremner

ISBN 13: 9781439807026

Format: Hardcover (332 pages)
Publisher: CRC Press
Published: 08 Sep 2011

Save for later

Hybrid Logic and its Proof-Theory (Applied Logic Series)

by Torben Braüner

ISBN 13: 9789400700017

Format: Hardcover (244 pages)
Publisher: Springer
Published: 30 Nov 2010

Save for later

General Lattice Theory: Second edition: Volume 1: The Foundation

by George Grätzer

ISBN 13: 9783764369965

Format: Paperback (663 pages)
Publisher: Birkhauser
Published: 21 Nov 2002

Save for later

Stat Labs: Mathematical Statistics Through Applications (Springer Texts in Statistics)

by Deborah Nolan,Terry P. Speed

ISBN 13: 9780387989747

Format: Illustrated (301 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later