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


Ferrante J., Rackoff C.W.
[1979]
The computational complexity of logical theories
Lect. Notes in Math., 718, Springer-Verlag
?
S
article

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