Пропуск в контексте
  • Язык
    • English
    • Русский

Расширенный поиск
  • Основания математической логи...
  • Цитировать
  • Печать
  • Запись для экспорта
    • Экспорт в RefWorks
    • Экспорт в EndNoteWeb
    • Экспорт в EndNote
  • Permanent link
Экспорт завершен — 
Основания математической логики

Основания математической логики

Библиографическая информация
Главный автор: Карри, Хаскелл Брокс
Другие авторы: Гастев, Юрий Алексеевич 1928-1993 (Редактор)
Формат: Книга
Язык:Russian
Публикация: Москва Мир 1969
Предметы:
Математическая логика
логические антиномии
формальные системы (мат. логика)
алгорифмы
эпитеория (мат. логика)
монотонные отношения
алгебры логические
алгебра логическая реляционная
структуры (мат.)
импликация, теория
алгебра логическая ассерторическая
алгебры высказываний
отрицание (мат. логика)
кванторы
кванторы, формы теории
модальности
необходимость (мат. логика), теория
Online-ссылка:Перейти в каталог НБ ТГУ
  • Фонды
  • Описание
  • Похожие документы
  • Marc-запись
Описание
Объем:567, [1] с. ил., табл. 22 см
Библиография:Библиогр.: с. 518-547
Указ.: с. 548-567

Похожие документы

  • Математическая логика [учебник для техникумов по специальности "Прикладная математика"]
    по: Никольская, Инна Львовна
    Публикация: (1981)
  • Элементы математической логики и теории множеств
    по: Пензов, Юрий Ефимович
    Публикация: (1968)
  • Лекции по математической логике Учебное пособие для студентов математических специальностей вузов
    по: Мощенский, Владимир Андреевич
    Публикация: (1973)
  • Развитие многозначной логики
    по: Карпенко, Александр Степанович 1946-
    Публикация: (2016)
  • Натуральный вывод теоретико-доказательственное исследование
    по: Правиц, Даг
    Публикация: (2020)
|   Расширенный поиск   |   Советы для поиска   |

Большой университет Томска
https://university-tomsk.ru/
Загрузка...