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


Dreben B., Goldfarb W.D.
[1979]
The decision problem. Solvable cases of quantificational formulas
Addisson Wesley
80.06.18
O
book

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