Jump to main content

yr 〜
yr

Search results 18

Proof-theoretic investigations of type theory and subsystems of second-order arithmetic

Proof-theoretic investigations of type theory and subsystems of second-order arithmetic
Paper博士論文
Ryota Akiyoshi [著][Ryota Akiyoshi][2010]<UT51-2010-G34>
National Diet Library
  • Author Heading秋吉, 亮太

「証明の哲学」の視点に立つ「論理と数学の哲学」の新展開

「証明の哲学」の視点に立つ「論理と数学の哲学」の新展開
Digital文書・図像類
岡田, 光弘, 秋吉, 亮太, 金子, 洋之, 峯島, 宏次2021科学研究費補助金研究成果報告書
Other Libraries in Japan
  • Author Heading岡田, 光弘 秋吉, 亮太 金子, 洋之 峯島, 宏次

論理学・数学の哲学セミナー(2011年12月19日 三田キャンパス南校舎7階474教室)

論理学・数学の哲学セミナー(2011年12月19日 三田キャンパス南校舎7階474教室)
Digital文書・図像類
秋吉, 亮太慶應義塾大学グローバルCOEプログラム論理と感性の先端的教育研究拠点2012-03Newsletter18p.5-5
Other Libraries in Japan
  • Author Heading秋吉, 亮太

編集後記 ; 奥付

編集後記 ; 奥付
Digital文書・図像類
秋吉, 亮太慶應義塾大学グローバルCOEプログラム論理と感性の先端的教育研究拠点2011-10Newsletter17p.8-8
Other Libraries in Japan
  • Author Heading秋吉, 亮太

Richard Zach教授講演会「イプシロン計算」2月21日三田キャンパス南館5階ディッスカッション・ルーム

Richard Zach教授講演会「イプシロン計算」2月21日三田キャンパス南館5階ディッスカッション・ルーム
Digital文書・図像類
秋吉, 亮太慶應義塾大学グローバルCOEプログラム論理と感性の先端的教育研究拠点2011-07Newsletter16p.4-4
Other Libraries in Japan
  • Author Heading秋吉, 亮太

形式主義と直観主義の証明論的手法による比較再検討

形式主義と直観主義の証明論的手法による比較再検討
Digital文書・図像類
秋吉, 亮太2011科学研究費補助金研究成果報告書
Other Libraries in Japan
  • Author Heading秋吉, 亮太

真理の度合理論は適切か? : ファジイ論理と真理理論（5月14日 三田キャンパス東館4階セミナー室)

真理の度合理論は適切か? : ファジイ論理と真理理論（5月14日 三田キャンパス東館4階セミナー室)
Digital文書・図像類
秋吉, 亮太慶應義塾大学グローバルCOEプログラム論理と感性の先端的教育研究拠点2010-09Newsletter13p.6-6
Other Libraries in Japan
  • Author Heading秋吉, 亮太

A proof theory workshop (with lecture series by Grigori Mints)（2010年3月17-18日 三田キャンパス北館大会議室)

A proof theory workshop (with lecture series by Grigori Mints)（2010年3月17-18日 三田キャンパス北館大会議室)
Digital文書・図像類
秋吉, 亮太慶應義塾大学グローバルCOEプログラム論理と感性の先端的教育研究拠点2010-06Newsletter12p.5-5
Other Libraries in Japan
  • Author Heading秋吉, 亮太

ワークショップ : 真理の度合理論は適切か? : ファジイ論理と真理理論

ワークショップ : 真理の度合理論は適切か? : ファジイ論理と真理理論
Digital文書・図像類
秋吉, 亮太慶應義塾大学グローバルCOEプログラム人文科学分野論理と感性の先端的教育研究拠点2010活動報告書4p.25-25
Other Libraries in Japan
  • Author Heading秋吉, 亮太

科学基礎論研究

科学基礎論研究
Paper雑誌雑誌タイトル
科学基礎論学会1954-<Z14-80>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

哲学論叢

哲学論叢
PaperDigital雑誌雑誌タイトル
京都大学哲学論叢刊行会 編京都大学哲学論叢刊行会[1974]-2014<Z9-810>
Available onlineNational Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

数理解析研究所講究録

数理解析研究所講究録
Paper雑誌雑誌タイトル
京都大学数理解析研究所1964-<Z43-1336>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

科学哲学 : journal of the Philosophy of Science Society, Japan

科学哲学 : journal of the Philosophy of Science Society, Japan
Paper雑誌雑誌タイトル
日本科学哲学会 編日本科学哲学会1968-<Z14-479>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

哲學

哲學
Paper雑誌雑誌タイトル
三田哲学会編集委員会 編三田哲学会1926-<Z9-205>
National Diet LibraryOther Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Reached to the end of result.

RSS