Skip to content
Papyros
Archive
Graph
Builders
Notes
Join
The Archive
logic
1936
On Computable Numbers, with an Application to the Entscheidungsproblem