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


Putnam H.
[1965]
Trial and error predicates and the solution to a problem of Mostowski
J. Symbolic Logic, 30 , № 1, 49-57
68.07.74
EO
article

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