An Introduction to symbolic logic - Langer, Susanne Katherina Knauth n. 1895 (Dover, 1953)