NDL SEARCH (NATIONAL DIET LIBRARY, JAPAN)
Open Menu
Search
Help
Login
Help
Login
Search
Refiners
Refiners
Library
Close field
National Diet Library
Other Libraries in Japan
Available online
Title
Close field
Author/Editor
Close field
Publisher
Close field
Year
Close field
yr
〜
yr
Open
2000s
(5)
2010s
(13)
2020s
(1)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
Periodicals
(9)
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
(1)
Maps
Musical Scores
Web sites
Online Publications
Electronic Resources
Video Materials
Audio Materials
Standards and Technical Reports
Manuscripts and Images
(7)
Deselect all
Periodical article etc
Material Format
Link to Help Page
Close field
Digital
(7)
Paper
(10)
Microform
Recording Media
Deselect all
Refiners
Refiners
Search results 17
20 results per page
50 results per page
100 results per page
List
Thumbnails
Table
Relevance
Published (old first)
Published (new first)
Title (ascend)
Title (descend)
Author (ascend)
Author (descend)
Call number
Group by title
Add all to My List
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
論理学・数学の哲学セミナー(2011年12月19日 三田キャンパス南校舎7階474教室)
論理学・数学の哲学セミナー(2011年12月19日 三田キャンパス南校舎7階474教室)
Digital
文書・図像類
秋吉, 亮太
慶應義塾大学グローバルCOEプログラム論理と感性の先端的教育研究拠点
2012-03
Newsletter
18
p.5-5
Other Libraries in Japan
編集後記 ; 奥付
編集後記 ; 奥付
Digital
文書・図像類
秋吉, 亮太
慶應義塾大学グローバルCOEプログラム論理と感性の先端的教育研究拠点
2011-10
Newsletter
17
p.8-8
Other Libraries in Japan
Richard Zach教授講演会「イプシロン計算」2月21日三田キャンパス南館5階ディッスカッション・ルーム
Richard Zach教授講演会「イプシロン計算」2月21日三田キャンパス南館5階ディッスカッション・ルーム
Digital
文書・図像類
秋吉, 亮太
慶應義塾大学グローバルCOEプログラム論理と感性の先端的教育研究拠点
2011-07
Newsletter
16
p.4-4
Other Libraries in Japan
真理の度合理論は適切か? : ファジイ論理と真理理論(5月14日 三田キャンパス東館4階セミナー室)
真理の度合理論は適切か? : ファジイ論理と真理理論(5月14日 三田キャンパス東館4階セミナー室)
Digital
文書・図像類
秋吉, 亮太
慶應義塾大学グローバルCOEプログラム論理と感性の先端的教育研究拠点
2010-09
Newsletter
13
p.6-6
Other Libraries in Japan
形式主義と直観主義の証明論的手法による比較再検討
形式主義と直観主義の証明論的手法による比較再検討
Digital
文書・図像類
秋吉, 亮太
2011
科学研究費補助金研究成果報告書
Other Libraries in Japan
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-06
Newsletter
12
p.5-5
Other Libraries in Japan
ワークショップ : 真理の度合理論は適切か? : ファジイ論理と真理理論
ワークショップ : 真理の度合理論は適切か? : ファジイ論理と真理理論
Digital
文書・図像類
秋吉, 亮太
慶應義塾大学グローバルCOEプログラム人文科学分野論理と感性の先端的教育研究拠点
2010
活動報告書
4
p.25-25
Other Libraries in Japan
科学基礎論研究
科学基礎論研究
Paper
雑誌
科学基礎論学会
1954-
<Z14-80>
National Diet Library
Other Libraries in Japan
哲学論叢
哲学論叢
Paper
Digital
雑誌
京都大学哲学論叢刊行会 編
京都大学哲学論叢刊行会
[1974]-2014
<Z9-810>
Available online
National Diet Library
Other Libraries in Japan
数理解析研究所講究録
数理解析研究所講究録
Paper
雑誌
京都大学数理解析研究所
1964-
<Z43-1336>
National Diet Library
Other 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 Library
Other Libraries in Japan
哲學
哲學
Paper
雑誌
三田哲学会編集委員会 編
三田哲学会
1926-
<Z9-205>
National Diet Library
Other Libraries in Japan
Reached to the end of result.
Bulk download of bibliographic information