Preservation theorems for algebraic and relational models of logic
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 === In this thesis a number of different constructions on ordered algebraic s...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10539/12921 |