Buy Used and New Mathematical Logic Books

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

Logic Colloquium 2007 (Lecture Notes in Logic)

by

ISBN 13: 9780521760652

Format: Hardcover (282 pages)
Publisher: Cambridge University Press
Published: 07 Jun 2010

Save for later

Constraint Logic Programming using Eclipse

by Krzysztof R. Apt,Mark Wallace

ISBN 13: 9780521866286

Format: Hardcover (348 pages)
Publisher: Cambridge University Press
Published: 21 Dec 2006

Save for later

LOGISCHE UNTERSUCHUNGEN ERGANZUNGSBAND ZWEITER TEIL: Texte Fur Die Neufassung Der VI. Untersuchung. Zur Phanomenologie DES Ausdrucks Und Der Erkenntnis (1893/94-1921) (Husserliana: Edmund Husserl)

by Edmund Husserl

ISBN 13: 9781402035739

Format: Hardcover (637 pages)
Publisher: Springer-Verlag New York Inc.
Published: 01 Jan 2005

Save for later

Mathematical Logic: A First Course (Dover Books on Mathematics)

by Joel W Robbin

ISBN 13: 9780486450186

Format: Paperback (224 pages)
Publisher: Dover Publications Inc.
Published: 01 Jan 2009

Save for later

Undecidable Theories (Dover Books on Mathematics)

by Alfred Tarski

ISBN 13: 9780486477039

Format: Paperback (112 pages)
Publisher: Dover Publications Inc.
Published: 24 Sep 2010

Save for later

Logic Colloquium 2000: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Paris, France July 23-31, 2000 (Lecture Notes in Logic)

by

ISBN 13: 9781568812526

Format: Paperback (424 pages)
Publisher: A K Peters/CRC Press
Published: 25 Apr 2005

Save for later

Theory of Recursive Functions and Effective Computability

by Rogers,Howard Poizner,Edward S. Klima,Ursula Bellugi

ISBN 13: 9780262680523

Format: Paperback (504 pages)
Publisher: MIT Press
Published: 01 Jan 1987

Save for later