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