Buy Used and New Mathematical Foundations Books

From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics (Oxford Logic Guides)

by

ISBN 13: 9780198566519

Format: Hardcover (370 pages)
Publisher: Clarendon Press
Published: 06 Oct 2005

Save for later

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies: Deduction Methodologies Vol 2

by Dov M. Gabbay,C. J. Hogger,J. A. Robinson

ISBN 13: 9780198537465

Format: Hardcover (528 pages)
Publisher: Clarendon Press
Published: 17 Mar 1994

Save for later

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations: Logic Foundations Vol 1

by Dov M. Gabbay,C. J. Hogger,J. A. Robinson

ISBN 13: 9780198537458

Format: Hardcover (536 pages)
Publisher: Clarendon Press
Published: 24 Jun 1993

Save for later

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning: Nonmonotoaic Reasoning and Uncertain Reasoning Vol 3

by Dov M. Gabbay,C. J. Hogger,J. A. Robinson

ISBN 13: 9780198537472

Format: Hardcover (552 pages)
Publisher: Clarendon Press
Published: 17 Mar 1994

Save for later

Labelled Deductive Systems: Volume 1: Vol 1 (Oxford Logic Guides)

by Dov M. Gabbay

ISBN 13: 9780198538332

Format: Hardcover (512 pages)
Publisher: Clarendon Press
Published: 05 Sep 1996

Save for later

Logical Reasoning with Diagrams (Studies in Logic and Computation)

by Gerard Allwein,Jon Barwise

ISBN 13: 9780195104271

Format: Hardcover (288 pages)
Publisher: OUP USA
Published: 18 Jul 1996

Save for later

The Reality of Numbers: A Physicalist's Philosophy of Mathematics

by John Bigelow

ISBN 13: 9780198249573

Format: Hardcover (202 pages)
Publisher: Clarendon Press
Published: 14 Jul 1988

Save for later

Super-Real Fields: Totally Ordered Fields with Additional Structure (London Mathematical Society Monographs)

by H. Garth Dales,W. Hugh Woodin

ISBN 13: 9780198539919

Format: Hardcover (376 pages)
Publisher: Clarendon Press
Published: 16 May 1996

Save for later

Temporal Logic: Volume 2: Mathematical Foundations and Computational Aspects: Vol 2 (Oxford Logic Guides)

by Dov M Gabbay,M. Finger,M. Reynolds

ISBN 13: 9780198537687

Format: Hardcover (597 pages)
Publisher: OUP Oxford
Published: 30 Mar 2000

Save for later

Notes on Set Theory (Undergraduate Texts in Mathematics)

by Yiannis Moschovakis

ISBN 13: 9780387287232

Format: Paperback (284 pages)
Publisher: Springer
Published: 21 Dec 2005

Save for later

Propositional and Predicate Calculus: A Model of Argument

by Derek Goldrei

ISBN 13: 9781852339210

Format: Paperback (315 pages)
Publisher: Springer
Published: 08 Sep 2005

Save for later

Exercises in Abelian Group Theory (Texts in the Mathematical Sciences)

by D. Valcan,C. Pelea,C. Modoi,S. Breaz,Grigore Calugareanu

ISBN 13: 9781402011832

Format: Hardcover (362 pages)
Publisher: Springer
Published: 30 Apr 2003

Save for later