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
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
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
Logic Colloquium 2007 (Lecture Notes in Logic)
ISBN 13: 9780521760652
Format: Hardcover (282 pages) Publisher: Cambridge University Press Published: 07 Jun 2010
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
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
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
Undecidable Theories (Dover Books on Mathematics)
by Alfred Tarski
ISBN 13: 9780486477039
Format: Paperback (112 pages) Publisher: Dover Publications Inc. Published: 24 Sep 2010
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)
ISBN 13: 9781568812526
Format: Paperback (424 pages) Publisher: A K Peters/CRC Press Published: 25 Apr 2005
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
The Description Logic Handbook: Theory, Implementation and Applications
ISBN 13: 9780521150118
Format: Paperback (624 pages) Publisher: Cambridge University Press Published: 20 May 2010