6.844 | Spring 2003 | Graduate

Computability Theory of and with Scheme

Calendar

subst_proof.pdf

Description:

Exercise: Convert a tree proof to a substitution proof

pdf
116 kB
subst_proof.pdf
Download File
DOWNLOAD

Course Info

Departments
As Taught In
Spring 2003
Level
Graduate
Topics
Learning Resource Types
Problem Sets
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