MillarTS ...


Millar T. S.
[1985]
Decidable Ehrenfeucht theoris
Proc. Summer Institute on Recursive Theory (Ithaca, New York), Lect. Notes in Math. 42, 311-322, Springer-Verlag
86.04.89
article

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