Symbolic logic and language: a programmed text - Dickoff, James; James, Patricia (McGraw-Hill, 1965)