Spector C. ...


Spector C.
[1961]
Inductively defined sets of natural numbers
Infitistic Methods, Proc. Symp. on Foundation Math., (Warsaw, 1959), Pergamon Press, 97-102
63.12.44
S
article

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