Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II): A Course with Exercises Part II: ... Godel's Theorems, Set Theory, Model Theory
by Rene Cori,Donald H. Pelletier,Daniel Lascar
ISBN 13: 9780198500506
Format: Paperback (352 pages) Publisher: Oxford University Press, USA Published: 12 Apr 2001
Save for later
Quantification in Nonclassical Logic (Studies in Logic and the Foundations of Mathematics): Volume 153
by Dov M. Gabbay,Dimitrij Skvortsov,Valentin Shehtman
ISBN 13: 9780444520128
Format: Illustrated (640 pages) Publisher: Elsevier Science Published: 09 Jun 2009
Logic For Dummies
by Mark Zegarelli
ISBN 13: 9780471799412
Format: Illustrated (384 pages) Publisher: For Dummies Published: 10 Nov 2006
Sets of Multiples: 118 (Cambridge Tracts in Mathematics, Series Number 118)
by Richard R. Hall
ISBN 13: 9780521404242
Format: Hardcover (284 pages) Publisher: Cambridge University Press Published: 10 Oct 1996
Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I: Cabal Seminar v. 1 (Lecture Notes in Logic)
by Alexander S. Kechris, Benedikt Löwe, John R. Steel
ISBN 13: 9780521899512
Format: Hardcover (460 pages) Publisher: Cambridge University Press Published: 15 Sep 2008
On Formally Undecidable Propositions of "Principia Mathematica" and Related Systems (Dover Books on MaTHEMA 1.4tics)
by Kurt Godel
ISBN 13: 9780486669809
Format: Paperback (80 pages) Publisher: Dover Publications Inc Published: 01 Apr 1992
Cryptographic Boolean Functions and Applications,
by Thomas W. Cusick
ISBN 13: 9780123748904
Format: Illustrated (250 pages) Publisher: Academic Press Published: 21 Apr 2009
Introduction to Boolean Algebras (Undergraduate Texts in Mathematics)
by Steven Givant,Paul Halmos
ISBN 13: 9780387402932
Format: Illustrated (588 pages) Publisher: Springer Published: 03 Feb 2009
Higher Topos Theory (AM-170) (Annals of Mathematics Studies) (Annals of Mathematics Studies, 170)
by Jacob Lurie
ISBN 13: 9780691140490
Format: Paperback (944 pages) Publisher: Princeton University Press Published: 06 Jul 2009
Conceptual Mathematics: A First Introduction to Categories
by F. William Lawvere
ISBN 13: 9780521719162
Format: Paperback (408 pages) Publisher: Cambridge University Press Published: 26 Oct 2011
Logical Labyrinths
by Raymond Smullyan
ISBN 13: 9781568814438
Format: Hardcover (275 pages) Publisher: A K Peters/CRC Press Published: 30 Nov 2008
Logical Foundations of Computer Science: International Symposium, LFCS 2007 New York, NY, USA, June 4-7, 2007 Proceedings: 4514 (Lecture Notes in Computer Science)
by Sergei N. Artemov, Anil Nerode
ISBN 13: 9783540727323
Format: Illustrated (528 pages) Publisher: Springer Published: 22 Feb 2009