"Proof Theory: History and Philosophical Significance (Synthese Library, 292)" - читать интересную книгу автора (Vincent F. Hendricks, Stig Andur Pedersen, Klaus Frovin Jorgensen)