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
e-Business and Telecommunications: International Conference, ICETE 2008, Porto, Portugal, July 26-29, 2008, Revised Selected Papers (Communications in Computer and Information Science)
by Joaquim Filipe, Mohammad S. Obaidat
ISBN 13: 9783642051968
Format: Paperback (482 pages) Publisher: Springer Published: 28 Oct 2009
Sets, Functions, and Logic (Chapman & Hall Mathematics)
by Keith Devlin
ISBN 13: 9781584884491
Format: Hardcover (160 pages) Publisher: Chapman and Hall/CRC Published: 24 Nov 2003
Finite and Algorithmic Model Theory (London Mathematical Society Lecture Note Series)
by
ISBN 13: 9780521718202
Format: Paperback (356 pages) Publisher: Cambridge University Press Published: 10 Mar 2011
Schaum's Outline of Logic, Second Edition (Schaum's Outline Series)
by John Nolt,Dennis Rohatyn,Achille Varzi
ISBN 13: 9780071755467
Format: Paperback (336 pages) Publisher: Schaum's Outlines Published: 01 Mar 2011
An Accompaniment to Higher Mathematics (Undergraduate Texts in Mathematics)
by George R. R. Exner
ISBN 13: 9780387946177
Format: Illustrated (224 pages) Publisher: Springer Published: 22 Jun 1999
Independence-Friendly Logic: A Game-Theoretic Approach (London Mathematical Society Lecture Note Series)
by Allen L. Mann,Gabriel Sandu,Merlijn Sevenster
ISBN 13: 9780521149341
Format: Paperback (216 pages) Publisher: Cambridge University Press Published: 05 May 2011
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)
by Gilles Dowek
ISBN 13: 9780857291202
Format: Paperback (203 pages) Publisher: Springer Published: 14 Jan 2011
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
ISBN 13: 9783540899815
Format: Paperback (844 pages) Publisher: Springer Published: 02 Dec 2008
Logic of Mathematics (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
by Zofia Adamowicz,Pawel Zbierski
ISBN 13: 9780471060260
Format: Hardcover (272 pages) Publisher: Wiley-Blackwell Published: 07 Apr 1997
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