"Lectures on Mathematical Logic, Volume II, Calculi for Derivations and Deductions" - читать интересную книгу автора (Walter Felscher)