No notes for this session. ← Previous14 · Unification (Part 2) Next →16 · Algorithmic Randomness (Part 2)