Systems of logic based on ordinals
From BibNetWiki
- Proceedings of the London Mathematical Society. Second Series 45:161--228, 1939
- BibtexAuthor : Alan M. Turing
Title : Systems of logic based on ordinals
Publication Type : Proceedings of the London Mathematical Society. Second Series -
Address :
Date : 1939
