Buy Used and New Mathematical Logic Books

Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)

by Roberto M. Amadio,Pierre-Louis Curien

ISBN 13: 9780521622776

Format: Hardcover (504 pages)
Publisher: Cambridge University Press
Published: 02 Jul 1998

Save for later

Categorical Structure of Closure Operators: With Applications to Topology, Algebra and Discrete Mathematics (Mathematics and Its Applications)

by D. Dikranjan,Walter Tholen

ISBN 13: 9780792337720

Format: Hardcover (376 pages)
Publisher: Springer
Published: 31 Oct 1995

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

First Order Mathematical Logic (Dover Books on Mathematics)

by Angelo Margaris

ISBN 13: 9780486662695

Format: Paperback (212 pages)
Publisher: Dover Publications Inc.
Published: 01 Oct 1990

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

Kurt Gödel: Essays for his Centennial (Lecture Notes in Logic)

by

ISBN 13: 9780521115148

Format: Hardcover (376 pages)
Publisher: Cambridge University Press
Published: 19 Apr 2010

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

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