MIPT-ML-20-Sem-12a

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