Symbolic logic and language - Dickoff, James (1965)