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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Turing, Alan, 1912-1954
Otros Autores: Gandy, R. O. (Robin O.), Yates, C. E. M.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : Elsevier Science, 2001.
Colección:Turing, Alan, 1912-1954. Works. 1990.
Temas:
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.
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares