Исследования по конструктивной математике и математической логике. 1979 :
Исследования по конструктивной математике и математической логике. 1979 : Сборник работ /
Под ред. Ю. В. Матиясевича и А. О. Слисенко ; Зап. науч. семинаров ; АН СССР. Матем. ин-та им. В. А. Стеклова.
- Ленинград : Наука,
- v. : ил.
პერიოდიკა მათემატიკური ლოგიკა კრებულები
პერიოდიკა მათემატიკური ლოგიკა კრებულები