登录后查看消息通知
搜索
常见问题
消息
登录
首页
/
数据集
/
Resource Logics - Proof Theoretical Investigations
Resource Logics - Proof Theoretical Investigations
收藏
Figshare
2016-01-18 更新
2026-04-08 收录
数理逻辑
结构证明理论
数据链接:
https://figshare.com/articles/dataset/Resource_Logics_Proof_Theoretical_Investigations/995908/1
数据链接
链接失效反馈
官方服务:
问题咨询
购买咨询
在线客服
NEW
资源简介:
Ph.D thesis in Mathematical Logic. Linear Logic, Modal Logic, Lambek Calculus
应用场景:
创建时间:
2014-04-11
相关数据集
Excerpts from "Set Theory and the Continuum Hypothesis" by Paul Cohen (tex)
集合论研究
数理逻辑
tex file for pdf file http://dx.doi.org/10.6084/m9.figshare.678216
Figshare
2016-01-11 更新
5
0
Gödel’s completeness (1930) nd incompleteness (1931) theorems: A new reading and comparative interpretation
数理逻辑
基础数学
A generalization of Peano arithmetic to ground mathematics
DataCite Commons
2020-09-04 更新
4
0
Truth Table for the Four Logical Forms (Conjunctive, Biconditional, Conditional, Material Implication) and Examples of Materials.
数理逻辑
命题逻辑教学
Truth Table for the Four Logical Forms (Conjunctive, Biconditional, Conditional, Material Implication) and Examples of Materials.
NIAID Data Ecosystem
2
0
Gödel’s completeness (1930) nd incompleteness (1931) theorems: A new reading and comparative interpretation
数理逻辑
基础数学
A generalization of Peano arithmetic to ground mathematics
DataCite Commons
2020-09-04 更新
4
0
Vorlesungen über die Algebra der Logik
数理逻辑
逻辑代数
Source: Vorlesungen über die Algebra der Logik
B2FIND
4
0
© 2023-2026 上海数据发展科技有限责任公司 版权所有
沪ICP备17003045号-15
沪公网安备31010402336585号
热门搜索
社区交流群
科研交流群
商业服务
数据资源
寻源服务
数据采集
标注服务
数据产品
代理销售
数据领域
凭证登记
数据产品
介绍推广