Kurt Gödel: Collected Works: Volume III: Unpublished Essays and Lectures: Unpublished Essays and Lectures Vol 3 (Collected Works (Oxford))
by Kurt Gödel
ISBN 13: 9780195147223
Format: Paperback (560 pages) Publisher: OUP USA Published: 28 Jun 2001
Save for later
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
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
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
Membrane Computing: 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers (Lecture ... 5957 (Lecture Notes in Computer Science)
by Gheorghe Paun
ISBN 13: 9783642114663
Format: Illustrated (500 pages) Publisher: Springer Published: 12 Jan 2010
Perspectives in Computation (Chicago Lectures in Physics)
by Robert Geroch
ISBN 13: 9780226288550
Format: Paperback (206 pages) Publisher: University of Chicago Press Published: 18 Sep 2009
Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53)
by Patrick Blackburn
ISBN 13: 9780521527149
Format: Illustrated (578 pages) Publisher: Cambridge University Press Published: 22 Aug 2002
FM 2009: Formal Methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science)
by Ana Cavalcanti,Dennis Dams
ISBN 13: 9783642050886
Format: Paperback (840 pages) Publisher: Springer Published: 26 Oct 2009
Advances in Computer Science, Information Security and Privacy: 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, ... Computer Science and General Issues)
by Anupam Datta
ISBN 13: 9783642106217
Format: Paperback (159 pages) Publisher: Springer Published: 24 Nov 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
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
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