MIPT-ML-20-Lect-10

Мат. логика в МФТИ для ПМФ. Темы: три формы принципа индукции и их равносильность; принцип Дирихле; конечные множества и их мощности.