Predicate Logic (MATH33001/43001/63001)

Timetable: Thursday 11-13 Alan Turing G.205; Friday 11-12 Alan Turing G.209

Lecture Notes:	MATH33001	MATH43001/63001
	Sections 1, 2 and 3
	Sections 4.1 and 4.2
	Section 4.3	Section 4.3 (reading assignment)
	Sections 4.4 and 5
		Section 6 (reading assignment)
Additional notes:	Revision of propositional logic, Zorn's lemma
Example Sheets:	Sheet 1, Sheet 2, Sheet 3, Sheet 4, Sheet 5, Sheet 6, Sheet 7.
Coursework:	CourseWork3.pdf	CourseWork4.pdf
Past exams:	MATH33001	MATH43001/63001

Enderton, Herbert B; A mathematical introduction to logic. Second edition. Harcourt/Academic Press, Burlington, MA, 2001. xii+317 pp. ISBN: 0-12-238452-0
Cori, René, Lascar, Daniel; Mathematical logic. A course with exercises. Part I. Propositional Calculus, Boolean algebras, predicate calculus. Translated from the 1993 French original by Donald H. Pelletier. With a foreword to the original French edition by Jean-Louis Krivine and a foreword to the English edition by Wilfrid Hodges. Oxford University Press, Oxford, 2000. xx+338 pp. ISBN: 0-19-850049-1; 0-19-850048-3
Hamilton, A. G. Logic for mathematicians. Second edition. Cambridge University Press, Cambridge, 1988. viii+228 pp. ISBN: 0-521-36865-0 03-01
Goldrei, Derek; Propositional and Predicate Calculus: A Model of Argument. Springer 2005, VIII, 315 p., ISBN: 978-1-85233-921-0

Site maintained by Marcus Tressl. Last modified: Monday 14. December 2009.