Turing A.M. ...


Turing A.M.
[1939]
Systems of logic based on ordinals
Proc. London Math. Soc., 45, № 3,161-228
~
OS
article

Вернуться к поиску