46. Logic. Finishing the proof of completeness
7:22
47. Logic. Summing up
30:09
42. Logic. The Set Of Closed Terms
15:19
45. Logic. Theories that contain term witnesses
11:41
44. Logic. Term Models for maximal consistent sets of formulas
11:39
43. Logic. The Term Model
9:27
48. Finishing the proof of equivalent versions of the Axiom of Choice
17:04
49. Set Theory. The V hierarchy
8:13