Наукова бібліотека
Запорізького національного університету
ЗНУ
Головна
Довідка
Наукова бібліотека
Головна сторінка бібліотеки
Електронна бібліотека
Передати бібліотеці електронний примірник
Надійшли в місяці...
Липень, 2026 рік
Червень, 2026 рік
Травень, 2026 рік
Квітень, 2026 рік
Березень, 2026 рік
Лютий, 2026 рік
Пошук електронних книг
Тематичний каталог
Алфавітний каталог назв
Розширений пошук
Документів:52632
Повідомлення адміністратору сайта
<a href="https://sites.znu.edu.ua/counter/statistic.php?site_id=4"><img src="https://sites.znu.edu.ua/counter/count.php?id=2"></a>
Довідка для читачів, електронні книги, каталоги,
ресурси Інтернет, новини бібліотеки
Електронні книги / Тематичний каталог
Тематичний каталог
Всі категорії
Вся тематика
Фізико-математичні науки
Математика
Фундаментальні та загальні питання математики
Основи математики
Алгоритми. Обчислювальні функції
Математична логіка
Загальні математичні системи
Записи 61 - 70 (всього знайдено 163)
Сторінки :
1
2
3
4
5
6
[7]
8
9
10
11
12
13
14
15
16
...
17
Перейти до сторінки №
Гросс М., Лантен А.
Теория формальных грамматик
Переглянути
gross_m___lanten_a__teoriz_formal_nyh_grammatik__1971.djvu
Голдблатт Р.
Топосы. Категорный анализ логики
Переглянути
goldblatt_r__toposy__kategornyiy_analiz_logiki__1983.djvu
Математическая теория логического вывода
Переглянути
idel_son_a_v___minc_g_e__matematicheskaz_teoriz_logicheskogo _vyvoda__1967.djvu
Колмогоров Андрей Николаевич, Драгалин Альберт Григорьевич
Введение в математическую логику
Переглянути
kolmogorov10.djvu
Ершов Юрий Леонидович, Палютин Евгений Андреевич
Математическая логика
Переглянути
ershov_iu_l___paliutin_e_a__matematicheskaz_logika__1987.djv u
Никольская Инна Львовна
Математическая логика
Переглянути
nikol_skaz_i_l__matematicheskaz_logika__1981.djvu
Серебрянников Олег Федорович
Эвристические принципы и логические исчисления
Переглянути
serebrznnikov_o_f__evristicheskie_principy_i_logicheskie_isc hisleniz__1970.djvu
Перетятькин Михаил Георгиевич
Конечно аксиоматизируемые теории
Переглянути
peretzt_kin_m_g__konechno_aksiomatiziruemye_teorii__1997.djv u
Такеути Г.
Теория доказательств
Переглянути
takeuti_g__teoriz_dokazatel_stv__1978.djvu
Верещагин Н.К., Шень А.
Лекции по математической логике. Языки исчесления
Переглянути
vereshagin_n_k___shen__a__iazyki_i_ischisleniz__2000.djvu
Сторінки :
1
2
3
4
5
6
[7]
8
9
10
11
12
13
14
15
16
...
17
Перейти до сторінки №
© 2017
Запорізький національний університет
login