|
|
ВС50567
Кривий, Сергій Лук'янович.
Вступ до некласичної математичної логіки [Текст] : навч. посіб. для студ. ун-тів, які навчаються за напрямом підготов. "Комп'ютерні науки" / С. Л. Кривий, О. І. Провотар ; Київ. нац. ун-т ім. Т. Шевченка. - К. : Київський ун-т, 2010. - 205 с. : рис. - Бібліогр.: с. 199-201. - 200 прим. - ISBN 978-966-439-209-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Провотар, Олександр Іванович; Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
Універсальний підсобний фонд
|
|