С 50 |
Смальян, Р. Теория формальных систем [Текст] / Р. Смальян ; пер. Пер. с англ. под ред. Н.А.Шанина. – М. : Наука, 1981. – 207 с. – (Математическая логика и основания математики). – 9000.
Излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгорифма. |