Очерки по математической теории систем
Математическая логика и основания математики. Математика метаматематики