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
Lambda-Calculus and Combinators: An Introduction
by J. Roger Hindley,Jonathan P. Seldin
ISBN 13: 9780521898850
Format: Illustrated (358 pages) Publisher: Cambridge University Press Published: 24 Jul 2008
A Geometry of Approximation: Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns: 27 (Trends in Logic)
by Mihir Chakraborty, Piero Pagliani
ISBN 13: 9781402086212
Format: Hardcover (706 pages) Publisher: Springer Published: 24 Oct 2008
Introduction to Logic: And to the Methodology of Deductive Sciences (Dover Books on Mathematics)
by Alfred Tarski
ISBN 13: 9780486284620
Format: Paperback (272 pages) Publisher: Dover Publications Inc. Published: 28 Mar 2003
Journey Through Genius: Great Theorems of Mathematics (Wiley Science Editions)
by William Dunham
ISBN 13: 9780471500308
Format: Illustrated (315 pages) Publisher: Wiley Published: 16 Mar 1990
Stone Spaces: 3 (Cambridge Studies in Advanced Mathematics, Series Number 3)
by Peter T. Johnstone
ISBN 13: 9780521337793
Format: Paperback (396 pages) Publisher: Cambridge University Press Published: 14 Aug 1986
Logical Frameworks for Truth and Abstraction,135: An Axiomatic Study: Volume 135 (Studies in Logic and the Foundations of Mathematics)
by A. Cantini
ISBN 13: 9780444823069
Format: Illustrated (250 pages) Publisher: Elsevier Published: 14 Mar 1996
Basic Category Theory for Computer Scientists (Foundations of computing)
by Benjamin C. Pierce
ISBN 13: 9780262660716
Format: Paperback (116 pages) Publisher: MIT Press Published: 30 Sep 1991
Mathematical Logic
by Tourlakis
ISBN 13: 9780470280744
Format: Illustrated (312 pages) Publisher: John Wiley & Sons Published: 13 Aug 2008
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
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