Elementary Categories, Elementary Toposes (Oxford Logic Guides)
by Colin McLarty
ISBN 13: 9780198514732
Format: Paperback (280 pages) Publisher: Clarendon Press Published: 27 Apr 1995
Save for later
Gödel's Incompleteness Theorems (Oxford Logic Guides)
by Raymond M. Smullyan
ISBN 13: 9780195046724
Format: Hardcover (160 pages) Publisher: OUP USA Published: 22 Oct 1992
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
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
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
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
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Volume 5: Logic Programming
by Christopher John Hogger,D. M. Gabbay,C. Hogger
ISBN 13: 9780198537922
Format: Illustrated (816 pages) Publisher: OUP Oxford Published: 08 Jan 1998
Agents for Games and Simulations: Trends in Techniques, Concepts and Design (Lecture Notes in Computer Science)
by Frank Dignum, Jeff Bradshaw, Barry G. Silverman, Willem van Doesburg
ISBN 13: 9783642111976
Format: Paperback (273 pages) Publisher: Springer Published: 21 Dec 2009
Game Set and Math: Enigmas and Conundrums (Dover Books on MaTHEMA 1.4tics)
by Ian Stewart
ISBN 13: 9780486458847
Format: Illustrated (208 pages) Publisher: Dover Publications Inc Published: 12 May 2007