Одеська національна наукова бібліотека

Бібліотека працює:

понеділок, вівторок, середа, четвер, субота і неділя – з 10.00 до 18.00
Вихідний день – п’ятниця. Останній четвер місяця – санітарний день

Електронний каталог

Відображає документи,
що надійшли до бібліотеки з 2001 р.

Пошук :

Довідка :

Електронний каталог : Кривий, Сергій Лук'янович - Вступ до некласичної математичної логіки

Кривий, Сергій Лук'янович - Вступ до некласичної математичної логіки

Вступ до некласичної математичної логіки

Недоступно
0 из 2

Книга
Автор: Кривий, Сергій Лук'янович
Вступ до некласичної математичної логіки : навч. посіб. для студентів ун-тів, які навчаються за напрямом підготовки "Комп'ютерні науки"
Видавництво: ВПЦ "Київський університет", 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. Логіка, математична – Підручники, посібники.