Buy Used and New Mathematical Logic Books

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

The Description Logic Handbook: Theory, Implementation and Applications

by

ISBN 13: 9780521150118

Format: Paperback (624 pages)
Publisher: Cambridge University Press
Published: 20 May 2010

Save for later

The Evolution of Logic (The Evolution of Modern Philosophy)

by W. D. Hart

ISBN 13: 9780521747721

Format: Paperback (306 pages)
Publisher: Cambridge University Press
Published: 23 Aug 2010

Save for later

Logische Grundlagen Der Mathematik (Springer-Lehrbuch)

by Ralf-Dieter Schindler

ISBN 13: 9783540959311

Format: Paperback (203 pages)
Publisher: Springer
Published: Mar 2009

Save for later

In Defence of Objective Bayesianism

by Jon Williamson

ISBN 13: 9780199228003

Format: Hardcover (200 pages)
Publisher: OUP Oxford
Published: 13 May 2010

Save for later

State of the Art in Computational Morphology: Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, ... in Computer and Information Science)

by

ISBN 13: 9783642041303

Format: Paperback (137 pages)
Publisher: Springer
Published: 28 Aug 2009

Save for later

Comprehensive Mathematics for Computer Scientists 1: Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Universitext)

by Guerino Mazzola,Gérard Milmeister,Jody Weissmann

ISBN 13: 9783540368731

Format: Paperback (388 pages)
Publisher: Springer
Published: 20 Sep 2006

Save for later