Математическая логика курс лекций : [учебное пособие для студентов вузов по специальности 032100 "Математика"]

Bibliographic Details
Main Author:	Тимофеева, Ирина Леонидовна
Format:	Book
Language:	Russian
Published:	Москва КДУ 2007
Edition:	2-е изд., перераб.
Subjects:	математическая логика учебные пособия для вузов логика высказываний исчисление высказываний логика предикатов исчисление предикатов теории первого порядка теория доказательств основания математики предикатные системы теория множеств интуиционизм конструктивизм Гильберта программа обоснования математики
Online Access:	Перейти в каталог НБ ТГУ

Similar Items