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