ქუთაისის ილია ჭავჭავაძის სახელობის საჯარო ბიბლიოთეკა - Kutaisi Ilia Tchavtchavadze Public Library

Справочная книга по математической логике В четырех частях : Теория Доказательств и конструктивная математика ; Часть IV / Под редакцией Дж. Барвайса, В. П. Оревкова ; Перевод с английского Г. В. Давыдова, Г. Е. Минца. - Москва : „Наука”, 1983. - 388 стр. ; 22 см.

Библиография : Предметный указатель.

От редактора русского перевода / В. П. Оревков ; Введение / А. С. Трулстра.


Справочник

Барвайса, Дж. Оревкова, В. П. Давыдова, Г. В. Минца, Г. Е.

512.8 / С. 74

Powered by Koha