Young P.R. ...


Young P.R.
[1985]
Gödel theorems, exponential difficulty and undecidability of arithmetic theories an exposition
Proc. AMS and ASL Summer Institute on Recursive Theory (Ithaca, New York), Lect. Notes in Math. 42, 503-522, Springer-Verlag
86.02.78
S
article

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