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


Turing, Alan Mathison, 1912-1954
Von Neumann, John, 1903-1957


Lógica simbólica y matemática

QA28 / A76