A predicate logic based on the Goedel interpretation and the system of hereditary effective operationsтезисы доклада

Дата последнего поиска статьи во внешних источниках: 21 мая 2019 г.