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
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
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)
ISBN 13: 9781420059816
Format: Hardcover (631 pages) Publisher: Chapman and Hall/CRC Published: 09 Aug 2010
Aspects of Natural Language Processing: Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday (Lecture Notes in Computer Science / . . ... incl. Internet/Web, and HCI): 5070
by Malgorzata Marciniak
ISBN 13: 9783642047343
Format: Paperback (464 pages) Publisher: Springer Published: 29 Sep 2009
The Haskell Road to Logic, Maths and Programming (Texts in Computing, Vol. 4) (Texts in Computing S.)
by Kees Doets,Jan van Eijck
ISBN 13: 9780954300692
Format: Paperback (450 pages) Publisher: College Publications Published: 07 Dec 2012
Development of Modern Logic
by Leila Haaparanta
ISBN 13: 9780195137316
Format: Hardcover (1006 pages) Publisher: OUP US Published: 01 Jun 2009
Sets for Mathematics
by F. William Lawvere
ISBN 13: 9780521010603
Format: Paperback (276 pages) Publisher: Cambridge University Press Published: 10 Apr 2003
Mathematical Logic
by Joseph R. Shoenfield
ISBN 13: 9781568811352
Format: Paperback (352 pages) Publisher: Routledge Published: 01 Jan 2001
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods I.C.F.E.M. 2009, Rio de Janeiro, Brazil, December ... (Lecture Notes in Computer Science)
by Karin Breitman
ISBN 13: 9783642103728
Format: Paperback (776 pages) Publisher: Springer Published: 17 Nov 2009