Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
SSO login
Home
Page Index
User Index
Application Index
Global
Languages
English
What's New
Wiki Index
Eng
Ita
Search
Publications
Clouds
journal : Proceedings of the London Mathematical Society
journal : Proceedings of the London Mathematical Society
2 articles
Systems of Logic Based on Ordinals
(1939) —
Alan Mathison Turing
On Computable Numbers, with an Application to the Entscheidungsproblem
(1937) —
Alan Mathison Turing
[
journal cloud
/ publications ]