Formale Logik. Aussagenlogik, Prädikatenlogik. - Sachers, Walter (Österr. Bundesverl. f. Unterr., Wiss. u. Kunst, Deuticke, Hölder-Pichler-Tempsky, 1974)