Collected Works: Publications 1929-1936 (Collected Works of Kurt Godel)
by Kurt Godel,Solomon Feferman,John W. Dawson
ISBN 13: 9780195039641
Format: Illustrated (504 pages) Publisher: Oxford University Press Published: 01 Jan 1986
Save for later
Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 2009, Proceedings: International ... (Lecture Notes in Computer Science)
by Sergei Artemov, Anil Nerode
ISBN 13: 9783540926863
Format: Paperback (469 pages) Publisher: Springer Published: 18 Dec 2008
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
Modules over Operads and Functors: 1967 (Lecture Notes in Mathematics)
by Benoit Fresse
ISBN 13: 9783540890553
Format: Illustrated (324 pages) Publisher: Springer Published: 27 Mar 2009
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
Logic for Applications (Texts in Computer Science)
by Anil Nerode,Richard A. Shore
ISBN 13: 9780387948935
Format: Illustrated (469 pages) Publisher: Springer Published: 01 Feb 1997
From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory (Logic, Epistemology, and the Unity of Science)
by Jean-Pierre Marquis
ISBN 13: 9781402093838
Format: Hardcover (320 pages) Publisher: Springer Published: 08 Jan 2009
Schaum's Outline of Boolean Algebra and Switching Circuits
by Elliott Mendelson
ISBN 13: 9780070414600
Format: Paperback (224 pages) Publisher: McGraw Hill Published: 16 Jan 1970
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
104 Number Theory Problems: From the Training of the USA IMO Team
by Titu Andreescu,Dorin Andrica,Zuming Feng
ISBN 13: 9780817645274
Format: Paperback (204 pages) Publisher: Birkhauser Published: 08 Jan 2007
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)
by Roberto M. Amadio,Pierre-Louis Curien
ISBN 13: 9780521622776
Format: Hardcover (504 pages) Publisher: Cambridge University Press Published: 02 Jul 1998