Електронний каталог науково-технічної бібліотеки ІФНТУНГ
Класифікатори
М
Математична логіка (математика) 510.6
Документи:
Справочная книга по математической логике [Текст] : в 4 ч. Ч. 3 : Теория рекурсии / Барвайс Д., ред. – М. : Наука, 1982. – 360 с.
Справочная книга по математической логике [Текст] : в 4 ч. Ч. 4 : Теория доказательств и конструктивная математика / Барвайс Д., ред. – М. : Наука, 1983. – 391 с.
Справочная книга по математической логике [Текст] : в 4 ч. Ч. 2 : Теория множеств / Барвайс Д., ред. ; пер. с англ. – М. : Наука, 1982. – 375 с.
Справочная книга по математической логике [Текст] : в 4 ч. Ч. 1 : Теория моделей / Барвайс Д., ред. ; пер. с англ. – М. : Наука, 1982. – 392 с. – 388-391.
Інформаційно-пошукова система
'УФД/Бібліотека'