刷新
{{item.name}}会员
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
基本信息
- 批准号：7905026
- 负责人：
- 金额：$ 10.4万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1979
- 资助国家：美国
- 起止时间：1979-07-01 至 1981-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Solomon Feferman其他文献
And so on . . . : reasoning with infinite diagrams
- DOI：
10.1007/s11229-011-9985-6 - 发表时间：
2011-08-03 - 期刊：
- 影响因子：1.300
- 作者：
Solomon Feferman - 通讯作者：
Solomon Feferman
What does logic have to tell us about mathematical proofs?
- DOI：
10.1007/bf03024381 - 发表时间：
1979-03-01 - 期刊：
- 影响因子：0.400
- 作者：
Solomon Feferman;S. Feferman - 通讯作者：
S. Feferman
Working foundations
- DOI：
10.1007/bf00486048 - 发表时间：
1985-02-01 - 期刊：
- 影响因子：1.300
- 作者：
Solomon Feferman - 通讯作者：
Solomon Feferman
Definedness
- DOI：
10.1007/bf01135376 - 发表时间：
1995-11-01 - 期刊：
- 影响因子：0.900
- 作者：
Solomon Feferman - 通讯作者：
Solomon Feferman
On Rereading van Heijenoort’s Selected Essays
- DOI：
10.1007/s11787-012-0058-5 - 发表时间：
2012-06-30 - 期刊：
- 影响因子：0.500
- 作者：
Solomon Feferman - 通讯作者：
Solomon Feferman
Solomon Feferman的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Solomon Feferman', 18)}}的其他基金
Mathematical Sciences: Convergence Properties of Hilbert's Substitution Method
数学科学：希尔伯特代换法的收敛性
- 批准号：
9206976 - 财政年份：1992
- 资助金额：
$ 10.4万 - 项目类别：
Continuing Grant
Mathematical Sciences: Topics in Logic and the Foundations of Mathematics
数学科学：逻辑主题和数学基础
- 批准号：
8703242 - 财政年份：1987
- 资助金额：
$ 10.4万 - 项目类别：
Standard Grant
Mathematical Sciences: Topics in Logic and the Foundations of Mathematics
数学科学：逻辑主题和数学基础
- 批准号：
8405825 - 财政年份：1984
- 资助金额：
$ 10.4万 - 项目类别：
Continuing Grant
Mathematical Sciences: Viith International Congress of LogicMethodology, and Philosophy of Science; Salzburg, Austria; July 11-16, 1983
数学科学：第八届国际逻辑方法论和科学哲学大会；
- 批准号：
8218647 - 财政年份：1983
- 资助金额：
$ 10.4万 - 项目类别：
Standard Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
- 批准号：
8104869 - 财政年份：1981
- 资助金额：
$ 10.4万 - 项目类别：
Continuing Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
- 批准号：
7806108 - 财政年份：1978
- 资助金额：
$ 10.4万 - 项目类别：
Standard Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
- 批准号：
7607163 - 财政年份：1976
- 资助金额：
$ 10.4万 - 项目类别：
Standard Grant
相似国自然基金
greenwashing behavior in China:Basedon an integrated view of reconfiguration of environmental authority and decoupling logic
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国学者研究基金项目
相似海外基金
Collaborative Research: Fostering Virtual Learning of Data Science Foundations with Mathematical Logic for Rural High School Students
协作研究：促进农村高中生数据科学基础与数学逻辑的虚拟学习
- 批准号：
2201394 - 财政年份：2022
- 资助金额：
$ 10.4万 - 项目类别：
Continuing Grant
Collaborative Research: Fostering Virtual Learning of Data Science Foundations with Mathematical Logic for Rural High School Students
协作研究：促进农村高中生数据科学基础与数学逻辑的虚拟学习
- 批准号：
2201393 - 财政年份：2022
- 资助金额：
$ 10.4万 - 项目类别：
Continuing Grant
Mathematical logic and foundations of mathematics
数理逻辑和数学基础
- 批准号：
122066-1992 - 财政年份：1993
- 资助金额：
$ 10.4万 - 项目类别：
Discovery Grants Program - Individual
Mathematical logic and foundations of mathematics
数理逻辑和数学基础
- 批准号：
122066-1992 - 财政年份：1992
- 资助金额：
$ 10.4万 - 项目类别：
Discovery Grants Program - Individual
Categorical logic and proof theory in mathematical foundations of computing
计算数学基础中的分类逻辑和证明论
- 批准号：
8544-1990 - 财政年份：1991
- 资助金额：
$ 10.4万 - 项目类别：
Discovery Grants Program - Individual
Mathematical Sciences: Topics in Logic and the Foundations of Mathematics
数学科学：逻辑主题和数学基础
- 批准号：
8703242 - 财政年份：1987
- 资助金额：
$ 10.4万 - 项目类别：
Standard Grant
Mathematical Sciences: Topics in Logic and the Foundations of Mathematics
数学科学：逻辑主题和数学基础
- 批准号：
8405825 - 财政年份：1984
- 资助金额：
$ 10.4万 - 项目类别：
Continuing Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
- 批准号：
8104869 - 财政年份：1981
- 资助金额：
$ 10.4万 - 项目类别：
Continuing Grant