Open Educational Resources

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
Attribution for this resource:
Logic II, Spring 2004, licensed under CC BY-NC-SA.