- 全部搜索
- 纸本馆藏
- 数据库导航
- 经纶知识发现
- 电子期刊/图书
文献资源导航
检索条件"语言=波兰文"
共 87 条 记 录,以下是1-10
-
Balogun, Funmilola Lowe, Benedikt
Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs
[J].STUDIA LOGICA,2024,5(112):1181-1200.
-
-
收藏
引用
-
来源
springerlink期刊
详细信息
评论
-
-
-
Calomino, Ismael Celani, Sergio A. Martin, Hernan J. San
On Weak Lewis Distributive Lattices
[J].STUDIA LOGICA,2024,:1-41.
-
-
收藏
引用
-
来源
springerlink期刊
详细信息
评论
-
-
-
De Klerck, Alexander Demey, Lorenz
Alpha-Structures and Ladders in Logical Geometry
[J].STUDIA LOGICA,2024,:1-36.
-
-
收藏
引用
-
来源
springerlink期刊
详细信息
评论
-
-
-
Albuquerque, Hugo Caleiro, Carlos
An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics
[J].STUDIA LOGICA,2024,:1-28.
-
-
收藏
引用
-
来源
springerlink期刊
详细信息
评论
-
-
-
Kanovei, Vladimir Lyubetsky, Vassily
Parameterfree Comprehension Does Not Imply Full Comprehension in Second Order Peano Arithmetic
[J].STUDIA LOGICA,2024,1(113):109-124.
-
-
收藏
引用
-
来源
springerlink期刊
详细信息
评论
-
-
-
Coniglio, Marcelo E. Gomez-Pereira, G. T. Figallo, Martin
On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness
[J].STUDIA LOGICA,2024,1(113):183-224.
-
-
收藏
引用
-
来源
springerlink期刊
详细信息
评论
-
-
-
Jacinto, Bruno Belastegui, Javier
Quineanism, Noneism and Metaphysical Equivalence
[J].STUDIA LOGICA,2024,5(112):1019-1090.
-
-
收藏
引用
-
来源
springerlink期刊
详细信息
评论
-
-
-
Gherardi, Guido Orlandelli, Eugenio Raidl, Eric
Proof Systems for Super-Strict Implication
[J].STUDIA LOGICA,2024,1-2(112):249-294.
-
-
收藏
引用
-
来源
springerlink期刊
详细信息
评论
-
-
-
Li, Kaile Shao, Wen Tang, Jinyuan Huang, Weiwei Li, Xin
Feasibility study of high feed axial ultrasonic vibration turning of Ti6Al4V
[J].ARCHIVES OF CIVIL AND MECHANICAL ENGINEERING,2024,2(24):137-137.
-
-
收藏
引用
-
来源
springerlink期刊
详细信息
评论
-
-
-
Maric, Stipe Perkov, Tin
Decidability of Inquisitive Modal Logic via Filtrations
[J].STUDIA LOGICA,2024,:1-19.
-
-
收藏
引用
-
来源
springerlink期刊
详细信息
评论
-
-
没有更多数据了...
暂无评论