Бази даних


Книжкові видання та компакт-диски - результати пошуку


Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Реферативна база даних (1)
Пошуковий запит: (<.>U=В128 я73<.>)
Загальна кількість знайдених документів : 5
Представлено документи з 1 до 5
1.
Р83078
Корпало, Ольга Леонідівна.
Некласична логіка [Текст] : метод. рекомендації та плани семінарських занять: Для студ. філос. фак. ун-тів / О. Л. Корпало ; Київ. нац. ун-т ім. Тараса Шевченка, Ін-т філос. НАН України. - К. : Четверта хвиля, 1997. - 40 с.

Рубрикатор НБУВ:
Тематичні рубрики:

Географічні рубрики:
  


Дод. точки доступу:
Національна академія наук України; Інститут філософії (Київ); Київський національний університет імені Тараса Шевченка

Видання зберігається у :

2.
Р83079
Корпало, Ольга Леонідівна.
Некласична логіка [Текст] : навч. програма для студ. філос. фак. ун-тів / О. Л. Корпало ; Київ. нац. ун-т ім. Тараса Шевченка, Ін-т філос. НАН України. - К. : Четверта хвиля, 1997. - 16 с. - ISBN 966-529-090-8

Рубрикатор НБУВ:
Тематичні рубрики:

Географічні рубрики:
  


Дод. точки доступу:
Національна академія наук України; Інститут філософії (Київ); Київський національний університет імені Тараса Шевченка

Видання зберігається у :

3.
ВА615467
Косовский, Николай Кириллович.
Логики конечнозначных предикатов на основе неравенств [Текст] : учеб. пособие / Н. К. Косовский, А. В. Тишков ; С.-Петербургский гос. ун-т. - СПб. : Издательство С.-Петербургского гос. ун-та, 2000. - 268 с. - ISBN 5-288-02049-3

Рубрикатор НБУВ:
Тематичні рубрики:


Дод. точки доступу:
Тишков, Артем Валерьевич; С. -Петербургский гос. университет

Видання зберігається у :
Основний фонд

4.
ВА661738
Трохимчук, Петро Павлович.
Теорія виведення в нестандартних логіках [Текст] : метод. рек. / П. П. Трохимчук ; Міжнародний науково-технічний ун-т. Луцький біотехнічний ін-т. Кафедра електронних апаратів. - Луцьк : [б.в.], 2004. - 54 с. - Бібліогр.: с. 49-52

Рубрикатор НБУВ:
Тематичні рубрики:


Дод. точки доступу:
Міжнародний науково-технічний університет. Луцький біотехнічний інститут. Кафедра електронних апаратів

Видання зберігається у :
Основний фонд

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

Рубрикатор НБУВ:
Тематичні рубрики:


Дод. точки доступу:
Провотар, Олександр Іванович; Київський національний університет імені Тараса Шевченка

Видання зберігається у :
Основний фонд
Універсальний підсобний фонд

 
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського