Girard J.Y. Proof theory and logical complexity / J.Y.Girard, 1990. - 503 p. - Текст : непосредственный.