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