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
Call Number:Libro Electrónico
Main Author: Turing, Alan, 1912-1954
Other Authors: Gandy, R. O. (Robin O.), Yates, C. E. M.
Format: Electronic eBook
Language:Inglés
Published: Amsterdam ; New York : Elsevier Science, 2001.
Series:Turing, Alan, 1912-1954. Works. 1990.
Subjects:
Logic, Symbolic and mathematical.
Logique symbolique et math�ematique.
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.
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items