Possible models diagrams: a new approach to teaching propositional logic.

Masters Degree. University of KwaZulu-Natal, Pietermaritzburg.Abstract available in PDF.Quality of scanned PDF has been compromised owing to poor condition of original document

Denotational proof languages

Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000.Includes bibliographical references (p. [417]-421).by Konstantinos Arkoudas.Ph.D