Mathematical logic /

Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to include all his mature scientific writing, including a substantial quantity of unpublished material. His work in pure mathematics and math...

Full description

Bibliographic Details
Main Author:	Turing, Alan, 1912-1954
Corporate Author:	ScienceDirect (Online service)
Other Authors:	Gandy, R. O. (Robin O.), Yates, C. E. M.
Format:	eBook
Language:	English
Language Notes:	English.
Published:	Amsterdam ; New York : Elsevier Science, 2001.
Series:	Turing, Alan, 1912-1954. Works. 1990.
Subjects:	Logic, Symbolic and mathematical. Logique symbolique et mathématique. MATHEMATICS > Infinity. MATHEMATICS > Logic. Logic, Symbolic and mathematical Lambda-calculus. Typentheorie. Automatentheorie. Geheimschrift. Programmeren (computers) Berekenbaarheid. Algorithms & data structures. Artificial intelligence. Complex analysis, complex variables. History of mathematics. Information architecture. Information theory. Mathematical foundations. Mathematical logic. Mathematics. Philosophy of mathematics. Electronic books.
Online Access:	Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number	Status	Get It
Call Number:		QA9.2 .T87 2001eb

QA9.2 .T87 2001eb	Available