The Notre Dame Lectures: Lecture Notes in Logic, 18
by Peter Cholak
ISBN 13: 9781568812496
Format: Illustrated (200 pages) Publisher: A K Peters/CRC Press Published: 23 Jun 2005
Save for later
Algorithmic Cryptanalysis (Chapman & Hall/CRC Cryptography and Network Security Series)
by Antoine Joux
ISBN 13: 9781420070026
Format: Hardcover (519 pages) Publisher: Chapman and Hall/CRC Published: 22 Jun 2009
The Reason's Proper Study: Essays towards a Neo-Fregean Philosophy of Mathematics
by Bob Hale,Crispin Wright
ISBN 13: 9780199266326
Format: Paperback (470 pages) Publisher: Clarendon Press Published: 13 Nov 2003
Kurt Gödel: Collected Works: Volume II: Publications 1938-1974: Publications 1938-1974 Vol 2 (Collected Works (Oxford))
by Kurt Gödel
ISBN 13: 9780195147216
Format: Paperback (432 pages) Publisher: OUP USA Published: 16 Aug 2001
Theorie DES Ensembles: Éléments de Mathématique
by N Bourbaki
ISBN 13: 9783540340348
Format: Paperback (250 pages) Publisher: Springer Published: 01 Sep 2006
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
Kurt Gödel: Collected Works: Volume III: Unpublished Essays and Lectures: Unpublished Essays and Lectures Vol 3 (Collected Works (Oxford))
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
Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
by Robert Goldblatt
ISBN 13: 9780486450261
Format: Paperback (576 pages) Publisher: Dover Publications Inc. Published: 01 Jan 2009
The Rise of Modern Logic: from Leibniz to Frege (Handbook of the History of Logic)
by
ISBN 13: 9780444516114
Format: Hardcover (780 pages) Publisher: North Holland Published: 08 Mar 2004