Mathematical logic and the origin of modern computers

[1]  Brian E. Carpenter,et al.  A. M. Turing's ACE Report of 1946 and Other Papers , 1986 .

[2]  Brian Randell,et al.  On Alan Turing and the Origins of Digital Computers , 1972 .

[3]  Andrew Hodges,et al.  Alan Turing: The Enigma , 1983 .

[4]  Jack Worlton,et al.  A Trilogy on Errors in the History of Computing , 1980, Annals of the History of Computing.

[5]  Velma R. Huskey,et al.  Lady Lovelace and Charles Babbage , 1980, Annals of the History of Computing.

[6]  Emil L. Post.  Finite combinatory processes—formulation , 1936, Journal of Symbolic Logic.

[7]  Martin Davis,et al.  The Prehistory and Early History of Automated Deduction , 1983 .

[8]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[9]  David Eugene Smith,et al.  A source book in mathematics , 1930 .

[10]  Nancy Stern,et al.  John von Neumann's Influence on Electronic Digital Computing, 1944-1946 , 1980, Annals of the History of Computing.

[11]  B. Randell.  Colossus: Godfather of the Computer , 1982 .

[12]  Alice R. Burks,et al.  First General-Purpose Electronic Computer , 1981, Annals of the History of Computing.

[13]  Paul E. Ceruzzi,et al.  Reckoners: The Prehistory of the Digital Computer, from Relays to the Stored Program Concept, 1935–1945 by Paul E. Ceruzzi (review) , 2023 .

[14]  Christopher S. Hill,et al.  Mechanism, Mentalism and Metamathematics , 1980 .

[15]  Martin D. Davis,et al.  Why Gödel Didn't Have Church's Thesis , 1982, Inf. Control..

[16]  Martha Kneale,et al.  The development of logic , 1963 .

[17]  Donald E. Knuth,et al.  Von Neumann's First Computer Program , 1970, CSUR.

[18]  Gordon Welchman.  The Hut Six Story , 1984 .

[19]  Hao Wang,et al.  From Mathematics to Philosophy. , 1975 .

[20]  Brian E. Carpenter,et al.  The Other Turing Machine , 1977, Comput. J..

[21]  Herman H. Goldstine.  The Computer from Pascal to von Neumann , 1972 .

[22]  Joel N. Shurkin,et al.  Engines of the Mind: A History of the Computer , 1984 .