Pour-El M. B. ...


Pour-El M. B.
[1968]
Effectively extension theories
J. Symbolic Logic, 33, № 1, 56-68
?
OS
article

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