24.242 | Spring 2004 | Undergraduate

Logic II

Lecture Notes

provablity_logic.pdf

Description:

This resource explains the logic of provability with its related theorems.

Resource Type:
Lecture Notes
pdf
589 kB
provablity_logic.pdf
Download File
DOWNLOAD

Course Info

Instructor
Departments
As Taught In
Spring 2004
Level
Undergraduate
Topics
Learning Resource Types
Lecture Notes
Problem Sets with Solutions
Download Course
MIT Open Learning
Over 2,500 courses & materials
Freely sharing knowledge with learners and educators around the world. Learn more
© 2001–2024 Massachusetts Institute of Technology
Accessibility
Creative Commons License
Terms and Conditions
Proud member of:
© 2001–2024 Massachusetts Institute of Technology