Feferman S. ...


Feferman S.
[1960]
Arithmetization of metamathematics in a general setting
Fund. Math., 49, № 1, 35-92
62.08.77
R
article

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