Two comments on Lemmon's 'Beginning logic'
scientific article; zbMATH DE number 3503184