编辑配置文件（在新选项卡中打开） 法里达·卡查波娃 合著者距离 作者ID: 卡查波瓦·法里达 发布日期： 法里达·卡查波娃;卡查波娃，F。 外部链接： ORCID公司 已编制索引的文档： 14出版物自2010年起，包括6额外的arXiv预印本 合著者： 2合著者具有5联合出版物 2名合著者 合著者 9 单作者的 4 伊利亚斯·卡查波夫 1 塞尔维亚Klymchuk 系列 2 国际科学与技术数学教育杂志 1 符号逻辑杂志 1 Studia Logica公司 1 洛巴切夫斯基数学杂志 1 澳大利亚逻辑杂志 领域 9 数学逻辑和基础（03-XX） 三 统计力学，物质结构（82-XX） 2 数学教育（97-XX） 1 统计学（62-XX） 按年份列出的出版物 zbMATH Open中包含的引文 三出版物有被引用3中的次2文件 引用人▼ 年份▼ 解读算术真理理论中的建构性多类型理论。 Zbl 1347.03104号 Kachapova，F。 1 2015 一种强大的多类型直觉主义泛函理论。 Zbl 1357.03090号 法里达·卡查波娃 1 2015 具有类型的构造集理论的可实现性和存在性。 Zbl 1432.03130号 法里达·卡查波娃 1 2015 解读算术真理理论中的建构性多类型理论。 Zbl 1347.03104号 卡查波娃，F。 1 2015 一种强大的多类型直觉主义泛函理论。 Zbl 1357.03090号 法里达·卡查波娃 1 2015 具有类型的构造集理论的可实现性和存在性。 Zbl 1432.03130号 法里达·卡查波娃 1 2015 2位作者引用 1 法里达·卡查波娃 1 马克·范·艾登 2篇连载文章中引用 1 Studia Logica公司 1 Indagationes Mathematicae公司。新系列 在1个字段中引用 2 数学逻辑和基础（03-XX） 按年份列出的引文