open.conted.ox.ac.uk (beta)

Open Educational Resources

Logic II, Spring 2004

Link

Http://www.oercommons.org/courses/24-242-logic-ii-spring-2004

Full course with lecture notes, syllabus, assignments etc.. It introduces the theory of computability and goes on to study Godel's theorems, Tarski, Peano and other related topics.

Date created: 
Friday, August 31, 2012
License: 
Creative Commons Attribution-NonCommercial-ShareAlike
Attribution for this resource:
Logic II, Spring 2004, licensed under CC BY-NC-SA.
Subjects: 
Philosophy
Keywords: 
Tarski, Godel, Incompleteness theorems, Modal logic, Provability logic, Truth, Peano arithmetic, Church-Turing thesis