On the ‘Definability of definable’ problem of Alfred Tarski.
Logic Colloquium 2021.
European Summer Meeting of the Association for Symbolic Logic.
Book of abstracts.
S.Chlebowski, D.Ratajczyk, P.Lupkowski (eds.)
Adam Mickiewicz University, Poznan, Poland, 19-24 July 2021.
Page 195.
Загрузить (2.5 MB)
| Авторы: Kanovei V. |