Vista normal Vista MARC Vista ISBD

Aspray, William F.,

From mathematical constructivity to computer science : Alan turing, john von neumann, and the origins of computer science in mathematical logic / By William f. aspray - 410 páginas

Tesis (doctor of philosophy) -- university of wisconsin-madison, 1980

Subjects--Personal Names:
Turing, Alan Mathison, 1912-1954
Von Neumann, John, 1903-1957

Subjects--Topical Terms:
Lógica simbólica y matemática

LC Class. No.: QA28 / A76