20:1227. Logic. An application of Compactness for Sentential LogicAntonio Montalban994 viewsView & Download
2:39Mathematical Logic, part 3: topological interpretation of compactnessMarco Benini89 viewsView & Download
1:15:00Lecture 19 - Compactness Thm continuation + Proof system for first order logicAdrian Apostol880 viewsView & Download
19:49Compactness and Countable Models (The Power and Limits of Logic, 6)Greg Restall1.6K viewsView & Download
