Turing, Alan Mathison, 1912-1954. Alan Turing's systems of logic : the Princeton thesis / edited and introduced by Andrew W. Appel.

Turing, Alan Mathison, 1912-1954.

Alan Turing's systems of logic : the Princeton thesis / edited and introduced by Andrew W. Appel.

Turing, Alan Mathison, 1912-1954.

Logic, Symbolic and mathematical.

Appel, Andrew W., 1960- aui ctb edt

Feferman, Solomon. ctb

Systems of logic based on ordinals.

Birth of computer science at Princeton in the 1930s.

Turing's thesis.