Mathematical Sciences: Viith International Congress of LogicMethodology, and Philosophy of Science; Salzburg, Austria; July 11-16, 1983
数学科学:第八届国际逻辑方法论和科学哲学大会;
基本信息
- 批准号:8218647
- 负责人:
- 金额:$ 1.05万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1983
- 资助国家:美国
- 起止时间:1983-02-01 至 1984-01-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
- 资助金额:
$ 1.05万 - 项目类别:
Continuing Grant
Mathematical Sciences: Topics in Logic and the Foundations of Mathematics
数学科学:逻辑主题和数学基础
- 批准号:
8703242 - 财政年份:1987
- 资助金额:
$ 1.05万 - 项目类别:
Standard Grant
Mathematical Sciences: Topics in Logic and the Foundations of Mathematics
数学科学:逻辑主题和数学基础
- 批准号:
8405825 - 财政年份:1984
- 资助金额:
$ 1.05万 - 项目类别:
Continuing Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
- 批准号:
8104869 - 财政年份:1981
- 资助金额:
$ 1.05万 - 项目类别:
Continuing Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
- 批准号:
7905026 - 财政年份:1979
- 资助金额:
$ 1.05万 - 项目类别:
Continuing Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
- 批准号:
7806108 - 财政年份:1978
- 资助金额:
$ 1.05万 - 项目类别:
Standard Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
- 批准号:
7607163 - 财政年份:1976
- 资助金额:
$ 1.05万 - 项目类别:
Standard Grant
相似国自然基金
Handbook of the Mathematics of the Arts and Sciences的中文翻译
- 批准号:12226504
- 批准年份:2022
- 资助金额:20.0 万元
- 项目类别:数学天元基金项目
SCIENCE CHINA: Earth Sciences
- 批准号:41224003
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Journal of Environmental Sciences
- 批准号:21224005
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Information Sciences
- 批准号:61224002
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号:51224001
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Journal of Environmental Sciences
- 批准号:21024806
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Life Sciences (中国科学 生命科学)
- 批准号:81024803
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Earth Sciences(中国科学:地球科学)
- 批准号:41024801
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
SCIENCE CHINA Technological Sciences
- 批准号:51024803
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
相似海外基金
Amalgamating Evidence About Causes: Medicine, the Medical Sciences, and Beyond
合并有关原因的证据:医学、医学科学及其他领域
- 批准号:
AH/Y007654/1 - 财政年份:2024
- 资助金额:
$ 1.05万 - 项目类别:
Research Grant
International Centre for Mathematical Sciences 2024
国际数学科学中心 2024
- 批准号:
EP/Z000467/1 - 财政年份:2024
- 资助金额:
$ 1.05万 - 项目类别:
Research Grant
Isaac Newton Institute for Mathematical Sciences (INI)
艾萨克·牛顿数学科学研究所 (INI)
- 批准号:
EP/Z000580/1 - 财政年份:2024
- 资助金额:
$ 1.05万 - 项目类别:
Research Grant
Research Infrastructure: Mid-scale RI-1 (MI:IP): X-rays for Life Sciences, Environmental Sciences, Agriculture, and Plant sciences (XLEAP)
研究基础设施:中型 RI-1 (MI:IP):用于生命科学、环境科学、农业和植物科学的 X 射线 (XLEAP)
- 批准号:
2330043 - 财政年份:2024
- 资助金额:
$ 1.05万 - 项目类别:
Cooperative Agreement
REU Site: Bigelow Laboratory for Ocean Sciences - Undergraduate Research Experience in the Gulf of Maine and the World Ocean
REU 站点:毕格罗海洋科学实验室 - 缅因湾和世界海洋的本科生研究经验
- 批准号:
2349230 - 财政年份:2024
- 资助金额:
$ 1.05万 - 项目类别:
Continuing Grant
Doctoral Dissertation Research: A Syndrome of Care: The New Sciences of Survivorship at the Frontier of Medical Rescue
博士论文研究:护理综合症:医疗救援前沿的生存新科学
- 批准号:
2341900 - 财政年份:2024
- 资助金额:
$ 1.05万 - 项目类别:
Standard Grant
Conference: Emerging Statistical and Quantitative Issues in Genomic Research in Health Sciences
会议:健康科学基因组研究中新出现的统计和定量问题
- 批准号:
2342821 - 财政年份:2024
- 资助金额:
$ 1.05万 - 项目类别:
Standard Grant
ICE-TI: A Decolonized Approach to an AAS in Social and Behavioral Sciences
ICE-TI:社会和行为科学中 AAS 的非殖民化方法
- 批准号:
2326751 - 财政年份:2024
- 资助金额:
$ 1.05万 - 项目类别:
Continuing Grant
Collaborative Research: Conference: Mathematical Sciences Institutes Diversity Initiative
合作研究:会议:数学科学研究所多样性倡议
- 批准号:
2317573 - 财政年份:2024
- 资助金额:
$ 1.05万 - 项目类别:
Continuing Grant
Meta-analysis for environmental sciences
环境科学荟萃分析
- 批准号:
NE/Y003721/1 - 财政年份:2024
- 资助金额:
$ 1.05万 - 项目类别:
Training Grant