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


Kučera A.
[1985]
Measure, Π10 classes and complete extensions of PA
Lect. Notes in Math., 1141, 245-259, Springer-Verlag
86.05.70
OS
article

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