TY  - BOOK
AU  - Слисенко, А. О.
AU  - Матиясевич, Ю. В.
ED  - Записки науч. семинаров Ленингр. отд-ния Матем. ин-та им. В. А. Стеклова ; АН СССР.
TI  - Исследования по конструктивной математике и математической логике. 1974: Сборник работ 
CY  - Ленинград
PB  - Наука
KW  - პერიოდიკა
KW  - მათემატიკური ლოგიკა
KW  - კრებულები
ER  -