Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Базы данных

Електронний каталог ЖОУНБ ім. О. Ольжича- результаты поиска

Вид поиска

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>K=формальная арифметика<.>

Общее количество найденных документов : 2
Показаны документы с 1 по 2

Вид документа : Однотомное издание
Шифр издания : 16/С 50
Автор(ы) : Смирнова, Елена Дмитриевна
Заглавие : Основы логической семантики : учеб. пособие для студ. филос. ф-тов вузов
Выходные данные : М.: Высшая школа, 1990
Колич.характеристики :144 с
Примечания : Лит.: с. 140-142
ISBN, Цена 5-06-001495-9: 0.35 р.
УДК : 16
ББК : 87.41
Предметные рубрики: Логіка
Географич. рубрики:
Аннотация: Дан анализ семантических антиномий и методов их устранения. Единым методом доказаны теоремы об ограниченностях формализмов, сжато изложены результаты теории моделей. Специальные разделы посвящены семантике возможных миров и анализу интенсивных контекстов.
Экземпляры :ЧЗ(1)
Свободны : ЧЗ(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 510.6/М50
Автор(ы) : Мендельсон, Элиот
Заглавие : Введение в математическую логику . -2-е изд., испр.
Параллельн. заглавия :Introduktion to mathematical logic
Выходные данные : М.: Наука, Гл. ред. физ.-мат. лит., 1976
Колич.характеристики :320 с.: рис.
Примечания : Лит.: с. 296-309. - Алф. указ.: с. 310-317
Цена : 1.65 р.
УДК : 510.6
ББК : 22.122
Предметные рубрики: Математична логіка
Географич. рубрики:
Аннотация: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др.
Экземпляры : всего : ЧЗ(1), ФОНД(1)
Свободны : ЧЗ(1), ФОНД(1)
Найти похожие

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)