Access Control, Security and Trust: A Logical Approach (Chapman & Hall/CRC Cryptography and Network Security Series)
by Shiu-Kai Chin,Susan Beth Older
ISBN 13: 9781584888628
Format: Hardcover (351 pages) Publisher: Chapman and Hall/CRC Published: 03 Aug 2010
Save for later
Alfred Tarski: Life and Logic (Cambridge Concise Histories)
by Anita Burdman Feferman,Solomon Feferman
ISBN 13: 9780521714013
Format: Paperback (432 pages) Publisher: Cambridge University Press Published: 07 Apr 2008
Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings: 3363 (Lecture Notes in Computer Science)
by Thomas Eiter,Leonid Libkin
ISBN 13: 9783540242888
Format: Paperback (424 pages) Publisher: Springer Published: 16 Dec 2004
Modelling Differentl Difference Equ: 10 (Australian Mathematical Society Lecture Series, Series Number 10)
by Fulford/Forrester/Jones
ISBN 13: 9780521446181
Format: Paperback (416 pages) Publisher: Cambridge University Press Published: 12 Jan 2008
Finite Structures with Few Types. (AM-152): 165 (Annals of Mathematics Studies)
by Gregory Cherlin, Ehud Hrushovski
ISBN 13: 9780691113326
Format: Paperback (200 pages) Publisher: Princeton University Press Published: 23 Dec 2002
Teaching and Learning Proof Across the Grades: A K-16 Perspective (Studies in Mathematical Thinking and Learning Series)
by Despina A. Stylianou,Maria L. Blanton,Eric J. Knuth
ISBN 13: 9780415989848
Format: Illustrated (408 pages) Publisher: Routledge Published: 05 Mar 2009
An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems
by Merrie Bergmann
ISBN 13: 9780521707572
Format: Illustrated (342 pages) Publisher: Cambridge University Press Published: 24 Apr 2008
Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series)
by D.L. Johnson
ISBN 13: 9783540761235
Format: Paperback (198 pages) Publisher: Springer Published: 27 Feb 1998
Essential Logic: Basic Reasoning Skills for the Twenty-First Century
by Ronald C. Pine
ISBN 13: 9780195155051
Format: Paperback (432 pages) Publisher: Oxford University Press, USA Published: 05 Oct 1995
Logic and Its Applications: Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009, Proceedings: 5378 (Lecture Notes in Computer Science)
by R. Ramanujam
ISBN 13: 9783540927006
Format: Paperback (280 pages) Publisher: Springer Published: 18 Dec 2008
The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
by Charles Petzold
ISBN 13: 9780470229057
Format: Paperback (384 pages) Publisher: Wiley Published: 30 May 2008
Reachability Problems: Third International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009, Proceedings: 5797 (Lecture Notes in Computer Science)
by Olivier Bournez,Igor Potapov
ISBN 13: 9783642044199
Format: Paperback (244 pages) Publisher: Springer Published: 07 Sep 2009