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

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

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

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

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

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

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

Смирнова Е. Д. Основы логической семантики/Е. Д. Смирнова. - 1990

Мендельсон Э. Введение в математическую логику/Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 1976

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