Навчальний курс "Математична логіка", ФМФ