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


Pour-El M.B., Kripke S.
[1967]
Deduction-preserving “recursive isomorphisms” between theories
Fund. Math., 61, № 2, 141-163
68.06.87
S
article

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