Квантовая теория поля, Математическая логика Манин Ю.И. Ренормализация и теория вычислимости 30.05.2014 Basharov