Buy Used and New Mathematical Logic Books

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

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

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

Save for later

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

Save for later

Handbook of Financial Cryptography and Security (Chapman & Hall/CRC Cryptography and Network Security Series)

by

ISBN 13: 9781420059816

Format: Hardcover (631 pages)
Publisher: Chapman and Hall/CRC
Published: 09 Aug 2010

Save for later

Naive Set Theory (Undergraduate Texts in Mathematics)

by P. R. Halmos

ISBN 13: 9780387900926

Format: Hardcover (111 pages)
Publisher: Springer
Published: 24 Oct 1974

Save for later

Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings: 5937 (Lecture Notes in Computer Science)

by Manuel Carro,Ricardo Peña

ISBN 13: 9783642115028

Format: Illustrated (297 pages)
Publisher: Springer
Published: 12 Jan 2010

Save for later