On $\Sigma$-preorderings in HF(R) Доклады на конференциях
Язык | Английский | ||||
---|---|---|---|---|---|
Тип доклада | Пленарный | ||||
Конференция |
South Eastern Logic Symposium 2020 29 февр. - 1 мар. 2020 , Gaineswille, Florida |
||||
Авторы |
|
||||
Организации |
|
Библиографическая ссылка:
Morozov A.S.
On $\Sigma$-preorderings in HF(R)
South Eastern Logic Symposium 2020 29 Feb - 1 Mar 2020
On $\Sigma$-preorderings in HF(R)
South Eastern Logic Symposium 2020 29 Feb - 1 Mar 2020