24.242 | Spring 2004 | Undergraduate

Logic II

Lecture Notes

coding_proofs.pdf

Description:

This resource explains ‘Coding Proofs’ with its related rules. It also explains Craig’s theorem.

Resource Type:
Lecture Notes

Course Info

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