Language, proof and logic - Barwise, Jon; Etchemendy, John (Center for the Study of Language and Information, CLSI Publ., 2003)