Athar Abdul-Quader: Pathologically defined subsets of models of CT-

Описание к видео Athar Abdul-Quader: Pathologically defined subsets of models of CT-

This talk was held on October 4, 2022 in the CUNY Graduate Center's virtual Models of Peano Arithmetic seminar.

Комментарии

Информация по комментариям в разработке