|
Литература
|
Ершов Ю.Л.: Математическая логика. - СПб. ; М. ; Краснодар: Лань, 2005
|
|
Литература
|
Успенский В.А.: Вводный курс математической логики. - М.: Физматлит, 2004
|
|
Литература
|
Гладких Ю.Г.: Логика без экзистенциальных предпосылок. - Ростов н/Д: Ростовский университет, 1984
|
|
Литература
|
пер. с англ. Г.В. Давыдова и Г.Е. Минца под ред. В.П. Оревкова: Справочная книга по математической логике. - М.: Наука, 1983
|
|
Литература
|
Драгалин А.Г.: Математический интуиционизм. - М.: Наука, 1979
|