Rabin M. ...


Rabin M.
[1977]
Decidable theories
Handbook of Mathematic Logic, p. C, North-Holland, 595-629 (Русский перевод в Справочной книге по математической логике, ч. III , (Ершов Ю.Л. – ред.), М., Наука, 1982, 77-111.)
?
article

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