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
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations: Logic Foundations Vol 1
ISBN 13: 9780198537458
Format: Hardcover (536 pages) Publisher: Clarendon Press Published: 24 Jun 1993
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning: Nonmonotoaic Reasoning and Uncertain Reasoning Vol 3
ISBN 13: 9780198537472
Format: Hardcover (552 pages) Publisher: Clarendon Press Published: 17 Mar 1994
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
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
The Mysteries of the Real Prime (London Mathematical Society Monographs)
by M.J. Shai Haran
ISBN 13: 9780198508687
Format: Hardcover (256 pages) Publisher: OUP Oxford Published: 20 Sep 2001
Philosophy of Science Today
ISBN 13: 9780199250547
Format: Hardcover (312 pages) Publisher: Clarendon Press Published: 01 May 2003
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
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
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
Arithmetic of Quadratic Forms (Springer Monographs in Mathematics)
by Goro Shimura
ISBN 13: 9781441917317
Format: Hardcover (240 pages) Publisher: Springer Published: 01 Jul 2010