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


Thuraisingham M.B.
[1983]
Cylindriral decision problems for system functions
Notre Dame J. Formal Logic, 24, № 2 , 188-198
83.11.57
article

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