517.11(063) И889 2     Исследования по конструктивной математике и математической логике [Текст] : сб. работ / ; под ред. Ю. В. Матиясевича, А. О. Слисенко. — Л. : Наука, 1979. — 1,10.

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Львівського національного університету «Львівська політехніка»	1	Перейти на сайт