|
|
At this time books in DjVu format are accessible just in a local network
of the Grodno State University.
External users for reception of books from our library it is necessary
for you to be registered.
The registered users can receive 1 book of times in a week under the
application by E-mail.
В настоящее время книги в формате DjVu доступны только в локальной сети
Гродненского государственного университета.
Внешним пользователям для получения книг из нашей библиотеки
необходимо зарегистрироваться.
Зарегистрированные пользователи могут получить 1 книгу раз в неделю по заявке на E-mail.
|
Для работы с книгами формата DjVu установите на своем компьютере специальный PlugIn
For work with DjVu books please install special Plug-In |
-
Барендрегт,_Ламбда-исчисление,1985 (pdf, 16273 KB,
Russian)
-
Dalen D., Logic and Structure, 1994 (pdf, 5606 KB,
English)
-
Драгалин,_Мат.интуиционизм.Введение_в_теорию_доказательств,1979 (pdf, 7637 KB, Russian)
-
Ершов,Палютин,_Мат.логика,1987 (pdf, 12042 KB,
Russian)
-
Ершов,_Теория_нумераций,1977 (pdf, 12629 KB, Russian)
-
Гильберт,Аккерман,_Основы_теоретической_логики,1947 (pdf,
8642 KB, Russian)
-
Гильберт,Бернайс,_Основания_математики,т1,1979 (pdf, 18554
KB, Russian)
-
Гильберт,Бернайс,_Основания_математики,т2,1982 (pdf, 23869
KB, Russian)
-
Гладкий А.В., Формальные грамматики и языки, 1973 (pdf,
12466 KB, Russian)
-
Гудстейн,_Рекурсивный_мат.анализ,1970 (pdf, 11493 KB,
Russian)
-
Карри,_Основания_мат.логики,1969 (pdf, 20462 KB,
Russian)
-
Клини,Весли,_Основания_интуиционистской_математики,1978 (pdf, 8547 KB, Russian)
-
Клини,_Мат.логика,1973 (pdf, 19994 KB, Russian)
-
Колмогоров,Драгалин,_Мат.логика_Доп.главы,1984 (pdf, 4867
KB, Russian)
-
Колмогоров,_Теория_информации_и_теория_алгоритмов,1987 (pdf,
11337 KB, Russian)
-
Крайзель,_Исследования_по_теории_доказательств,1981 (pdf,
11456 KB, Russian)
-
Лузин Н., Лекции об аналитических множествах и их приложениях, 1953 (pdf, 10118 KB, Russian)
-
Мальцев А., Алгебраические системы, 1970 (pdf, 12420 KB,
Russian)
-
Марков А., Нагорный Н., Теория алгорифмов, 1984 (pdf, 13177
KB, Russian)
-
Мат.логика_и_ее_применения,Сборник_статей,1965 (pdf, 12708
KB, Russian)
-
Мат.теория_логического_вывода.Сборник_переводов,1967 (pdf,
12488 KB, Russian)
-
Матиясевич Ю., Десятая проблема Гильберта, 1993 (pdf, 5345
KB, Russian)
-
Мендельсон,_Введение_в_мат.логику,1971 (pdf, 11747 KB,
Russian)
-
Monk,_Mathematical_Logic,1976 (pdf, 14640 KB,
English)
-
Робинсон,_Введение_в_теорию_моделей_и_метаматиматику_алгебры,1967 (pdf, 10899 KB, Russian)
-
Шенфилд,_Мат.логика,1975 (pdf, 16392 KB, Russian)
-
Справочная_книга_по_мат.логике,ч1,1982 (pdf, 14677 KB,
Russian)
-
Справочная_книга_по_мат.логике,ч2,1982 (pdf, 13940 KB,
Russian)
-
Справочная_книга_по_мат.логике,ч3,1982 (pdf, 12999 KB,
Russian)
-
Справочная_книга_по_мат.логике,ч4,1982 (pdf, 13186 KB,
Russian)
-
Такеути,_Теория_доказательств,1978 (pdf, 13821 KB,
Russian)
-
Тарский А., Введение в логику и методологию дедуктивных наук, 1948 (pdf, 9370 KB, Russian)
-
Яблонский_и_др,_Функции_алгебры_логики_и_классы_Поста,1966 (pdf, 3102 KB, Russian)
| |
At this time books in DjVu format are accessible just in a local network
of the Grodno State University.
External users for reception of books from our library it is necessary
for you to be registered.
The registered users can receive 1 book of times in a week under the
application by E-mail.
В настоящее время книги в формате DjVu доступны только в локальной сети
Гродненского государственного университета.
Внешним пользователям для получения книг из нашей библиотеки
необходимо зарегистрироваться.
Зарегистрированные пользователи могут получить 1 книгу раз в неделю по заявке на E-mail.
|
|
|
|
