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


Kahr A.S., Moore E.F., Wang Hao
[1962]
Entsheidungsproblem reduced to the ∀∃∀ case
Proc. Nat. Acad. Sci.,USA, 48, № 3, 365-377
62.11.59
article

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