Das System der Aussagenlogik (formale Sprache und Regeln)

Es handelt sich um ein System des natürlichen Schliessens, das auf Genzen zurückgeht. Die vorliegende Fassung ist eine Systematisierung der Regeln von E.J. Lemmon, Beginning Logic, Sunbury-on-Thames, Nelson's University Paperpacks, 1965.