Электронный каталог — Научная библиотека ДВФУ

База данных: Электронный каталог ДВФУ

Страница 1, Результатов: 1

Отмеченные записи: 0

Черч, А. Введение в математическую логику [Текст] : пер. с англ. т. 1, 1960. - 484 c. с.

517 Ч-508

   Черч, А
    Введение в математическую логику : пер. с англ / А. Черч. - Москва : Иностранная литература, 1960 - .
   т. 1. - 484 c.

УДК

517.11

Кл.слова (ненормированные):
синтаксис (математика) -- переменные (математика) -- математическая логика -- константы -- функциональные исчисления -- кванторы -- пропозициональное исчисление -- математика -- функции -- семантика (математика)
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)

Авторизуйтесь для получения дополнительных услуг

Страница 1, Результатов: 1

Все поступления за

Или выберите интересующий месяц