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


Smullyan R.M.
[1961]
Theory of formal systems
Princeton Univ. Press, N.J. (Имеется русский перевод.)
~; 63.06.71
EOR
book

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