刷新
{{item.name}}会员
The Collected Works Of Kurt Godel
库尔特·哥德尔文集
基本信息
- 批准号：8317813
- 负责人：
- 金额：$ 15万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1984
- 资助国家：美国
- 起止时间：1984-08-15 至 1989-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
- 资助金额：
$ 15万 - 项目类别：
Continuing Grant
Mathematical Sciences: Topics in Logic and the Foundations of Mathematics
数学科学：逻辑主题和数学基础
- 批准号：
8703242 - 财政年份：1987
- 资助金额：
$ 15万 - 项目类别：
Standard Grant
Mathematical Sciences: Topics in Logic and the Foundations of Mathematics
数学科学：逻辑主题和数学基础
- 批准号：
8405825 - 财政年份：1984
- 资助金额：
$ 15万 - 项目类别：
Continuing Grant
Mathematical Sciences: Viith International Congress of LogicMethodology, and Philosophy of Science; Salzburg, Austria; July 11-16, 1983
数学科学：第八届国际逻辑方法论和科学哲学大会；
- 批准号：
8218647 - 财政年份：1983
- 资助金额：
$ 15万 - 项目类别：
Standard Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
- 批准号：
8104869 - 财政年份：1981
- 资助金额：
$ 15万 - 项目类别：
Continuing Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
- 批准号：
7905026 - 财政年份：1979
- 资助金额：
$ 15万 - 项目类别：
Continuing Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
- 批准号：
7806108 - 财政年份：1978
- 资助金额：
$ 15万 - 项目类别：
Standard Grant
Mathematical Logic and the Foundations of Mathematics
数理逻辑和数学基础
- 批准号：
7607163 - 财政年份：1976
- 资助金额：
$ 15万 - 项目类别：
Standard Grant
相似海外基金
Open(ing up) goals in physical activity: What works, when, and for whom?
制定身体活动目标：什么有效、何时有效、对谁有效？
- 批准号：
DP240101163 - 财政年份：2024
- 资助金额：
$ 15万 - 项目类别：
Discovery Projects
What Works Policy Fellowship - Youth Futures Foundation Understanding What Makes for Quality Work Fellowship UKRI Policy Fellowship
什么有效的政策奖学金 - 青年未来基金会 了解什么是高质量工作奖学金 UKRI 政策奖学金
- 批准号：
ES/Y005007/1 - 财政年份：2024
- 资助金额：
$ 15万 - 项目类别：
Fellowship
"Starved": How the Great Odisha Famine (1866) translates through colonial violences and famine into the diasporic body (creative works, critical study
“饥饿”：奥里萨邦大饥荒（1866）如何通过殖民暴力和饥荒转化为散居国外的群体（创造性作品，批判性研究
- 批准号：
2870158 - 财政年份：2023
- 资助金额：
$ 15万 - 项目类别：
Studentship
The materiality of works of art in Diderot's philosophy
狄德罗哲学中艺术品的物质性
- 批准号：
23K12041 - 财政年份：2023
- 资助金额：
$ 15万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
English Writings of Female Doctors in the Late Qing Dynasty:With a clue from the works of Yamei Kin and Ida Kahn
晚清女医生的英文写作——以亚美·金和艾达·卡恩的著作为线索
- 批准号：
23K12114 - 财政年份：2023
- 资助金额：
$ 15万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
How the proteasome works: resolving a critical new level of regulation
蛋白酶体如何工作：解决关键的新监管水平
- 批准号：
BB/W016672/1 - 财政年份：2023
- 资助金额：
$ 15万 - 项目类别：
Research Grant
Mechanics of Indigenous River Works and Their Application for Integrated Flow-Sediment Management in River Basins
本土河流工程的力学及其在流域流沙综合管理中的应用
- 批准号：
23H01518 - 财政年份：2023
- 资助金额：
$ 15万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
A Study of the Phonology and Lexicon of Ryūkyūan Languages Based Upon Western and Missionary Works
Ry的音系和词汇研究
- 批准号：
22KF0233 - 财政年份：2023
- 资助金额：
$ 15万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Archiving the Architectural Works of W. M. Vories, Reconsidering its Historical Meanings and Exploring its Contemporary Significance
归档 W. M. Vories 的建筑作品，重新思考其历史意义并探索其当代意义
- 批准号：
23K04221 - 财政年份：2023
- 资助金额：
$ 15万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
An Approach to Understanding the Qualitative Transformation of Ancient Chinese Literature in the Heian Period through the Works of KuKai
从空海作品看平安时代中国古代文学的质变
- 批准号：
23H00601 - 财政年份：2023
- 资助金额：
$ 15万 - 项目类别：
Grant-in-Aid for Scientific Research (B)