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

Course Info

Instructor
As Taught In
Spring 2004
Learning Resource Types
Lecture Notes
Problem Sets with Solutions