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