Пошук :
Довідка :
Електронний каталог : Кривий, Сергій Лук'янович - Вступ до некласичної математичної логіки
Кривий, Сергій Лук'янович - Вступ до некласичної математичної логіки
Книга
Автор: Кривий, Сергій Лук'янович
Вступ до некласичної математичної логіки : навч. посіб. для студентів ун-тів, які навчаються за напрямом підготовки "Комп'ютерні науки"
Видавництво: ВПЦ "Київський університет", 2010 г.
ISBN 978-966-439-209-6
Автор: Кривий, Сергій Лук'янович
Вступ до некласичної математичної логіки : навч. посіб. для студентів ун-тів, які навчаються за напрямом підготовки "Комп'ютерні науки"
Видавництво: ВПЦ "Київський університет", 2010 г.
ISBN 978-966-439-209-6
(UA) Книга
X> 9688
819743 Главный филиал 943808 Главный филиал
Кривий, Сергій Лук'янович.
Вступ до некласичної математичної логіки : навч. посіб. для студентів ун-тів, які навчаються за напрямом підготовки "Комп'ютерні науки" / Сергій Лук'янович Кривий, Олександр Іванович Провотар, Київ. нац. ун-т ім. Т. Шевченка.– Київ : ВПЦ "Київський університет", 2010.– 205 с.
200 пр.– Бібліогр.: с. 199-201 . – На укр. яз.
ISBN 978-966-439-209-6.
ББК В12я73-1
-- 1. Логіка, математична – Підручники, посібники.
X> 9688
819743 Главный филиал 943808 Главный филиал
Кривий, Сергій Лук'янович.
Вступ до некласичної математичної логіки : навч. посіб. для студентів ун-тів, які навчаються за напрямом підготовки "Комп'ютерні науки" / Сергій Лук'янович Кривий, Олександр Іванович Провотар, Київ. нац. ун-т ім. Т. Шевченка.– Київ : ВПЦ "Київський університет", 2010.– 205 с.
200 пр.– Бібліогр.: с. 199-201 . – На укр. яз.
ISBN 978-966-439-209-6.
ББК В12я73-1
-- 1. Логіка, математична – Підручники, посібники.