Applied symbolic logic - Lynch Edward P (1980)