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)}}的其他基金

Systems of Variable Type
可变类型系统
  • 批准号:
    9302923
  • 财政年份:
    1994
  • 资助金额:
    $ 1.05万
  • 项目类别:
    Standard Grant
Mathematical Sciences: Convergence Properties of Hilbert's Substitution Method
数学科学:希尔伯特代换法的收敛性
  • 批准号:
    9206976
  • 财政年份:
    1992
  • 资助金额:
    $ 1.05万
  • 项目类别:
    Continuing Grant
Godel Editorial Project
哥德尔编辑项目
  • 批准号:
    8822167
  • 财政年份:
    1989
  • 资助金额:
    $ 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
The Collected Works Of Kurt Godel
库尔特·哥德尔文集
  • 批准号:
    8317813
  • 财政年份:
    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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了