Buy Used and New Mathematical Logic Books

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

Save for later

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

Save for later

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

Save for later

The Rise of Modern Logic: from Leibniz to Frege (Handbook of the History of Logic)

by

ISBN 13: 9780444516114

Format: Hardcover (780 pages)
Publisher: North Holland
Published: 08 Mar 2004

Save for later

First Steps in Modal Logic

by Sally Popkorn

ISBN 13: 9780521057936

Format: Paperback (332 pages)
Publisher: Cambridge University Press
Published: 28 Jan 2008

Save for later

Foundations of the Formal Sciences: Infinite Games v. 5

by

ISBN 13: 9781904987758

Format: Paperback (368 pages)
Publisher: College Publications
Published: 19 Dec 2007

Save for later

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

Save for later

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

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