☆ 4.0 Article

Theories of presheaf type

JOURNAL OF SYMBOLIC LOGIC (2004)

期刊

JOURNAL OF SYMBOLIC LOGIC

卷 69, 期 3, 页码 923-934

出版社

ASSOC SYMBOLIC LOGIC, INC

DOI: 10.2178/jsl/1096901776

关键词

-

类别

Mathematics Logic

向作者/读者索取更多资源

Protocol

Reagent

作者

我是这篇论文的作者

点击您的名字以认领此论文并将其添加到您的个人资料中。

评论

主要评分

4.0

评分不足

次要评分

新颖性

-

重要性

-

科学严谨性

-

评价这篇论文

推荐

暂无数据

暂无数据

暂无数据

© Peeref 2019-2024. All rights reserved.