Preservation theorems for algebraic and relational models of logic
Wilmari Morton · University of the Witwatersrand, Johannesburg Institutional Repository on DSpace (University of the Witwatersrand, Johannesburg) · 2013
A thesis submitted to the School of Computer Science, Faculty of Science, University of the Witwatersrand, Johannesburg in fulfilment of the requirements for the degree of Doctor of Philosophy. Johannesburg, 15 May 2013