Математическая логика: Пер. англ. - Клини, С. К. Стивен Коул (КомКнига УРСС, 2007)