izvor podataka: crosbi
✓
A modern rigorous approach to stratification in NF/NFU (CROSBI ID 731128)
Prilog sa skupa u zborniku | sažetak izlaganja sa skupa
Adlešić, Tin ; Čačić, Vedran
A modern rigorous approach to stratification in NF/NFU // 7th World Congress and School on Universal Logic - Schedule of the General Session. 2022. str. 5-5
Podaci o odgovornosti
Adlešić, Tin ; Čačić, Vedran
engleski
A modern rigorous approach to stratification in NF/NFU
Formalization of syntactical notions of theory NF/NFU and its application to the same theory.
Quine’s New Foundations ; stratification ; stratified formulas
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
5-5.
2022.
objavljeno
Podaci o matičnoj publikaciji
7th World Congress and School on Universal Logic - Schedule of the General Session
Podaci o skupu
7th World Congress and School on Universal Logic (UNILOG 2022)
predavanje
01.04.2022-11.04.2022
Chania, Grčka
Povezanost rada
Povezane osobe
Povezani projekti
