Symbolic logic. (New York Macmillan, 1979)