共 7 条
[1]
Barr M., 1985, Toposes, Triples and Theories. Grundlehren der mathematischen Wissenschaften
[3]
Klement E., 2000, Trends in Logic, V8
[4]
Radul T, 2021, Arxiv, DOI [arXiv:2111.06612, 10.48550/arXiv.2111.06612, DOI 10.48550/ARXIV.2111.06612]
[5]
Sukhorukova Kh., 2021, PROC INT GEOM CENT
[6]
Sukhorukova Kh., 2020, VISNYK LVIV U SERIES, V90, P76, DOI [10.30970/vmm.2020.90.076-083, DOI 10.30970/VMM.2020.90.076-083]
[7]
Teleiko A., 1999, CATEGORICAL TOPOLOGY