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


Pour-El M.B., Kripke S.
[1967]
Deduction-preserving “recursive isomorphisms” between theories
Bull. Amer. Math. Soc., 73, № 1, 145-148
68.01.68
OS
article

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