Aussagenlogik und Beweisverfahren - Freund, Helmut 1915-; Sorger, Peter 1938-2022 (Teubner, 1974)