К проблеме разрешимости в узком исчислении предикатов

Костырко, В. Ф., 1965, кандидатская диссертация

Киев

11 стр.

К проблеме разрешимости в узком исчислении предикатов — Костырко, В. Ф. — 1965 — Российская библиотека диссертаций