Библиография Лаврова И.А.


Feferman S.
[1957]
Degrees of unsolvability associated with classes of formalized theories
J. Symbolic Logic, 22 , № 2, 161-175
58.4449
ROS
article

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