Введение в математическую логику [монография]

Введение в математическую логику [монография] Т. 1

Bibliographic Details
Main Author: Черч, Алонзо
Other Authors: Успенский, Владимир Андреевич 1930-2018 (Editor)
Format: Book
Language:Russian
Published: Москва ЛИБРОКОМ 2009
Edition:Изд. 2-е
Series:Физико-математическое наследие : ФМН
Subjects:
математическая логика.
пропозициональные исчисления
функциональные исчисления первого порядка
функциональные исчисления второго порядка
формальная логика
константы
суждения.
пропозициональные функции
несобственные символы
операторы.
кванторы.
логистический метод
непротиворечивость (математическая логика)

Научная библиотека ТГУ: Книгохранилище

Holdings details from Научная библиотека ТГУ: Книгохранилище
Call Number: 1-988401к
Available  Place a Hold

Научная библиотека ТГУ: Читальный зал. Депозитарий

Holdings details from Научная библиотека ТГУ: Читальный зал. Депозитарий
Call Number: 510 Ч-508
Available  Place a Hold

Similar Items