Теоретические применения методов математической логики : 1981:
Теоретические применения методов математической логики : 1981: Сборник работ /
Под ред. Д. Ю. Григорьева и В. П. Оревкова ; АН СССР. Мат. ин-т им. В. А. Стеклова.
- Ленинград : Наука,
- v.
მათემატიკური ლოგიკა კრებულები
51(09)
მათემატიკური ლოგიკა კრებულები
51(09)