Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Пошуковий запит: (<.>U=В128 я73<.>) |
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
|
1. | ВС50567 Кривий, Сергій Лук'янович. Вступ до некласичної математичної логіки [Текст] : навч. посіб. для студ. ун-тів, які навчаються за напрямом підготов. "Комп'ютерні науки" / С. Л. Кривий, О. І. Провотар ; Київ. нац. ун-т ім. Т. Шевченка. - К. : Київський ун-т, 2010. - 205 с. : рис. - Бібліогр.: с. 199-201. - 200 прим. - ISBN 978-966-439-209-6Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Провотар, Олександр Іванович; Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд Універсальний підсобний фонд
| 2. | ВА615467 Косовский, Николай Кириллович. Логики конечнозначных предикатов на основе неравенств [Текст] : учеб. пособие / Н. К. Косовский, А. В. Тишков ; С.-Петербургский гос. ун-т. - СПб. : Издательство С.-Петербургского гос. ун-та, 2000. - 268 с. - ISBN 5-288-02049-3Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Тишков, Артем Валерьевич; С. -Петербургский гос. университет
Видання зберігається у :
Основний фонд
| 3. | Р83078 Корпало, Ольга Леонідівна. Некласична логіка [Текст] : метод. рекомендації та плани семінарських занять: Для студ. філос. фак. ун-тів / О. Л. Корпало ; Київ. нац. ун-т ім. Тараса Шевченка, Ін-т філос. НАН України. - К. : Четверта хвиля, 1997. - 40 с.Рубрикатор НБУВ: Тематичні рубрики:
Географічні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут філософії (Київ); Київський національний університет імені Тараса Шевченка
Видання зберігається у :
| 4. | Р83079 Корпало, Ольга Леонідівна. Некласична логіка [Текст] : навч. програма для студ. філос. фак. ун-тів / О. Л. Корпало ; Київ. нац. ун-т ім. Тараса Шевченка, Ін-т філос. НАН України. - К. : Четверта хвиля, 1997. - 16 с. - ISBN 966-529-090-8Рубрикатор НБУВ: Тематичні рубрики:
Географічні рубрики:
Дод. точки доступу: Національна академія наук України; Інститут філософії (Київ); Київський національний університет імені Тараса Шевченка
Видання зберігається у :
| 5. | ВА661738 Трохимчук, Петро Павлович. Теорія виведення в нестандартних логіках [Текст] : метод. рек. / П. П. Трохимчук ; Міжнародний науково-технічний ун-т. Луцький біотехнічний ін-т. Кафедра електронних апаратів. - Луцьк : [б.в.], 2004. - 54 с. - Бібліогр.: с. 49-52Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу: Міжнародний науково-технічний університет. Луцький біотехнічний інститут. Кафедра електронних апаратів
Видання зберігається у :
Основний фонд
|
|
|