Computable model theory over HF(R) Доклады на конференциях
Язык | Английский | ||||
---|---|---|---|---|---|
Тип доклада | Пленарный | ||||
Конференция |
Международная конференция «Мальцевские чтения» 16-19 нояб. 2020 , Новосибирск |
||||
Авторы |
|
||||
Организации |
|
Библиографическая ссылка:
Morozov A.S.
Computable model theory over HF(R)
Международная конференция «Мальцевские чтения» 16-19 Nov 2020
Computable model theory over HF(R)
Международная конференция «Мальцевские чтения» 16-19 Nov 2020