Language, logic, and formalization of knowledge

by Brian McGuinness