APICe » Publications » Turing1939

Systems of Logic Based on Ordinals

A. M. Turing
Proceedings of the London Mathematical Society s2-45(1), pages 161-228, 1939
@article{Turing01011939,
author = {Turing, A. M.}, 
title = {Systems of Logic Based on Ordinals},
volume = {s2-45}, 
number = {1}, 
pages = {161-228}, 
year = {1939}, 
doi = {10.1112/plms/s2-45.1.161}, 
URL = {http://plms.oxfordjournals.org/content/s2-45/1/161.short}, 
eprint = {http://plms.oxfordjournals.org/content/s2-45/1/161.full.pdf+html}, 
journal = {Proceedings of the London Mathematical Society} 
}