Completed
Dale Miller: From axioms to synthetic inference rules via focusing
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
From Axioms to Synthetic Inference Rules via Focusing
Automatically move to the next video in the Classroom when playback concludes