On constructive versions of independence friendly logic Conference Abstracts
Conference |
Logical Pespectives 2018 14-18 May 2018 , Международный математический институт им. Леонарда Эйлера, Песочная наб., 10, г. Санкт-Петербург |
||
---|---|---|---|
Source | Logical Perspectives 2018 Compilation, Euler International Mathematical Institute. Санкт-Петербург.2018. 36 c. |
||
Output data | Year: 2018, Pages: 22 Pages count : 1 | ||
Authors |
|
||
Affiliations |
|
Cite:
ODINTSOV S.P.
On constructive versions of independence friendly logic
In compilation Logical Perspectives 2018. – Euler International Mathematical Institute., 2018. – C.22.
On constructive versions of independence friendly logic
In compilation Logical Perspectives 2018. – Euler International Mathematical Institute., 2018. – C.22.
Identifiers:
No identifiers
Citing:
Пока нет цитирований