Интерполяция и определимость в логиках конечных областей

Новосибирск

89 стр.

Интерполяция и определимость в логиках конечных областей — Шрайнер, Павел Александрович — 1998 — Российская библиотека диссертаций