Davis M. ...


Davis M.
[1977]
Unsolvable problems
Handbook of Mathematic Logic, p. D, North-Holland, 567-594 (Русский перевод в Справочной книге по математической логике, ч. III , (Ершов Ю.Л. –ред.), М., Наука, 1982, 51-76.)
?
S
article

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