Langer, Susanne Katherina Knauth: An introduction to symbolic logic. New York : Dover Publ., 1967