Buy Used and New Mathematical Logic Books

Gödel's Incompleteness Theorems (Oxford Logic Guides)

by Raymond M. Smullyan

ISBN 13: 9780195046724

Format: Hardcover (160 pages)
Publisher: OUP USA
Published: 22 Oct 1992

Save for later

Kurt Gödel: Collected Works: Volume III: Unpublished Essays and Lectures: Unpublished Essays and Lectures Vol 3 (Collected Works (Oxford))

by Kurt Gödel

ISBN 13: 9780195147223

Format: Paperback (560 pages)
Publisher: OUP USA
Published: 28 Jun 2001

Save for later

Access Control, Security and Trust: A Logical Approach (Chapman & Hall/CRC Cryptography and Network Security Series)

by Shiu-Kai Chin,Susan Beth Older

ISBN 13: 9781584888628

Format: Hardcover (351 pages)
Publisher: Chapman and Hall/CRC
Published: 03 Aug 2010

Save for later

Alfred Tarski: Life and Logic (Cambridge Concise Histories)

by Anita Burdman Feferman,Solomon Feferman

ISBN 13: 9780521714013

Format: Paperback (432 pages)
Publisher: Cambridge University Press
Published: 07 Apr 2008

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

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

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