Теория доказательств: пер. с англ. - Такеути Г. Гаиси (Москва, Мир, 1978)