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


Rabin M.
[1971]
Decidability and definability in second-order theories
Actes Congress Inter. Math., (Nice, 1970), v.1, Paris, Gauthier-Villars, 239-244
72.04.110
article

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