Describir: History of logic and semantics :