Janiczak A. ...


Janiczak A.
[1953]
Undecidability of some simple formalized theories
Fund. Math., 40, 131-139
54.4321
article

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