Creating Nested Proofs
Channel: Tom Caswell
Date: 2011-09-06

Video for Open Course Library Logic (PHIL&106), developed by Paul Herrick & Mark Storey