Theorie DES Ensembles: Éléments de Mathématique
by N Bourbaki
ISBN 13: 9783540340348
Format: Paperback (250 pages) Publisher: Springer Published: 01 Sep 2006
Save for later
Mathematical Logic: Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises: ... Calculus, Completeness Theorems Pt.1
by René Cori,Daniel Lascar
ISBN 13: 9780198500483
Format: Paperback (360 pages) Publisher: OUP Oxford Published: 07 Sep 2000
Elementary Categories, Elementary Toposes (Oxford Logic Guides)
by Colin McLarty
ISBN 13: 9780198514732
Format: Paperback (280 pages) Publisher: Clarendon Press Published: 27 Apr 1995
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
The Description Logic Handbook: Theory, Implementation and Applications
by
ISBN 13: 9780521150118
Format: Paperback (624 pages) Publisher: Cambridge University Press Published: 20 May 2010
The Evolution of Logic (The Evolution of Modern Philosophy)
by W. D. Hart
ISBN 13: 9780521747721
Format: Paperback (306 pages) Publisher: Cambridge University Press Published: 23 Aug 2010
Logische Grundlagen Der Mathematik (Springer-Lehrbuch)
by Ralf-Dieter Schindler
ISBN 13: 9783540959311
Format: Paperback (203 pages) Publisher: Springer Published: Mar 2009
In Defence of Objective Bayesianism
by Jon Williamson
ISBN 13: 9780199228003
Format: Hardcover (200 pages) Publisher: OUP Oxford Published: 13 May 2010
State of the Art in Computational Morphology: Workshop on Systems and Frameworks for Computational Morphology, SFCM 2009, Zurich, Switzerland, ... in Computer and Information Science)
ISBN 13: 9783642041303
Format: Paperback (137 pages) Publisher: Springer Published: 28 Aug 2009