The Cloud of Unknowing: The Classic of Medieval Mysticism
by Evelyn Underhill, Evelyn Underhill
ISBN 13: 9780486432038
Format: Paperback (144 pages) Publisher: Dover Publications Inc. Published: 01 Sep 2003
Save for later
An Introduction to Mathematical Reasoning: Numbers, Sets and Functions
by Peter J. Eccles
ISBN 13: 9780521597180
Format: Paperback (362 pages) Publisher: Cambridge University Press Published: 11 Dec 1997
Higher Order Operational Techniques in Semantics: 12 (Publications of the Newton Institute, Series Number 12)
by Andrew M. Pitts Edited by Andrew D. Gordon
ISBN 13: 9780521631686
Format: Hardcover (400 pages) Publisher: Cambridge University Press Published: 22 Jan 1998
Decision Modeling and Behavior in Complex and Uncertain Environments (Springer Optimization and Its Applications)
by
ISBN 13: 9780387771304
Format: Hardcover (376 pages) Publisher: Springer Published: 22 Aug 2008
The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning (Cambridge Library Collection - Mathematics)
by George Boole
ISBN 13: 9781108001014
Format: Paperback (92 pages) Publisher: Cambridge University Press Published: 20 Jul 2009
The Theory of Computation (Jones and Bartlett Books in Mathematics)
by Hein
ISBN 13: 9780867204971
Format: Hardcover (572 pages) Publisher: Jones and Bartlett Publishers, Inc Published: 01 Jan 1996
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
by Yoav Shoham,Kevin Leyton-Brown
ISBN 13: 9780521899437
Format: Illustrated (504 pages) Publisher: Cambridge University Press Published: 15 Dec 2008
Codes and Automata: 129 (Encyclopedia of Mathematics and its Applications, Series Number 129)
by Jean Berstel,Dominique Perrin,Christophe Reutenauer
ISBN 13: 9780521888318
Format: Illustrated (634 pages) Publisher: Cambridge University Press Published: 05 Nov 2009
Intro to Computer Theory 2e
by Daniel I. A. Cohen
ISBN 13: 9780471137726
Format: Paperback (646 pages) Publisher: John Wiley & Sons Published: 27 Nov 1996
Transactions on Petri Nets and Other Models of Concurrency III (Lecture Notes in Computer Science / Transactions on Petri Nets and Other Models of Concurrency): 5800
by Kurt Jensen
ISBN 13: 9783642048548
Format: Paperback (296 pages) Publisher: Springer Published: 11 Nov 2009
Schaum's Outline of Boolean Algebra and Switching Circuits
by Elliott Mendelson
ISBN 13: 9780070414600
Format: Paperback (224 pages) Publisher: McGraw Hill Published: 16 Jan 1970
Cryptology and Network Security: 8th International Conference, C.A.N.S. 2009, Kanazawa, Japan, December 12-14, 2009, Proceedings (Lecture Notes in Computer Science / Security and Cryptology): 5888
by Juan A. Garay, Atsuko Miyaji, Akira Otsuka
ISBN 13: 9783642104329
Format: Paperback (538 pages) Publisher: Springer Published: 24 Nov 2009