PDF Good old fashioned model theory - School of Computer Science

Good old fashioned model theory [Held in 120../Preamble.. Last changed July 26, 2004] The course will be taught Each Tuesday from 2 - 5 pm in room J with some lectures and some tutorial activities. The main body of course will cover the following topics. • Basic ideas of language, satisfation, and compactness ................
................