The logic of mind - Nelson, Raymond J. (Kluwer Acad. Publ., 1989)