Topology via Logic (Cambridge Tracts in Theoretical Computer Science)
by Steven Vickers
ISBN 13: 9780521576512
Format: Paperback (220 pages) Publisher: Cambridge University Press Published: 22 Aug 1996
Save for later
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings: 4603 (Lecture Notes in Computer Science, 4603)
by Frank Pfenning
ISBN 13: 9783540735946
Format: Illustrated (536 pages) Publisher: Springer Published: 05 Jul 2007
Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97, Including a Special Track on Declarative ... (Lecture Notes in Computer Science)
by
ISBN 13: 9783540633983
Format: Paperback (425 pages) Publisher: Springer Published: 13 Aug 1997
Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
by Robert Goldblatt
ISBN 13: 9780486450261
Format: Paperback (576 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
The Rise of Modern Logic: from Leibniz to Frege (Handbook of the History of Logic)
ISBN 13: 9780444516114
Format: Hardcover (780 pages) Publisher: North Holland Published: 08 Mar 2004
First Steps in Modal Logic
by Sally Popkorn
ISBN 13: 9780521057936
Format: Paperback (332 pages) Publisher: Cambridge University Press Published: 28 Jan 2008
Foundations of the Formal Sciences: Infinite Games v. 5
ISBN 13: 9781904987758
Format: Paperback (368 pages) Publisher: College Publications Published: 19 Dec 2007
We Will Show Them: Essays in Honour of Dov Gabbay. Volume 2
by S Artemov,H. Barringer,A. S. d'Avila Garcez,L. C. Lamb,J. Woods
ISBN 13: 9781904987123
Format: Paperback (812 pages) Publisher: College Publications Published: 26 Oct 2005
A Study of Logics (Oxford Logic Guides)
by John P. Cleave
ISBN 13: 9780198532118
Format: Hardcover (432 pages) Publisher: Clarendon Press Published: 19 Dec 1991
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
From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics (Oxford Logic Guides)
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