Субрекурсивная реализуемость и логика предикатов

Москва

83 стр.

Субрекурсивная реализуемость и логика предикатов — Пак Бен Ха — 2003 — Российская библиотека диссертаций