Conditionals: From Philosophy to Computer Science (Studies in Logic and Computation)
by G. Crocco,Luis Fariñas del Cerro,A. Herzig
ISBN 13: 9780198538615
Format: Hardcover (376 pages) Publisher: Clarendon Press Published: 30 Nov 1995
Save for later
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
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
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
Mathematical Logic
by Stephen Cole Kleene
ISBN 13: 9780486425337
Format: Paperback (416 pages) Publisher: Dover Publications Inc. Published: 28 Mar 2003
Model Theory with Applications to Algebra and Analysis: Volume 1 (London Mathematical Society Lecture Note Series)
ISBN 13: 9780521694841
Format: Paperback (350 pages) Publisher: Cambridge University Press Published: 22 May 2008
Model Theory with Applications to Algebra and Analysis: Volume 2 (London Mathematical Society Lecture Note Series)
ISBN 13: 9780521709088
Format: Paperback (444 pages) Publisher: Cambridge University Press Published: 22 May 2008
Model Theory, Algebra, and Geometry (Mathematical Sciences Research Institute Publications)
ISBN 13: 9780521143493
Format: Paperback (236 pages) Publisher: Cambridge University Press Published: 10 Jun 2010
Godel: A Life of Logic, the Mind, and Mathematics
by John L. Casti,Werner Depauli
ISBN 13: 9780738205182
Format: Paperback (224 pages) Publisher: Perseus Books Published: 16 Aug 2001
The Description Logic Handbook: Theory, Implementation and Applications
ISBN 13: 9780521150118
Format: Paperback (624 pages) Publisher: Cambridge University Press Published: 20 May 2010