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


Surányi J.
[1959]
Reduktionstheorie des Entsheidungsproblems im Prädikatenkalkül der ersten Stufe
Budapest
61.01.103
book

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