『徳島大学 教育・研究者情報データベース (EDB)』---[学外] /
ID: Pass:

登録内容 (EID=84704)

EID=84704EID:84704, Map:0, LastModified:2014年11月4日(火) 13:22:06, Operator:[北 研二], Avail:TRUE, Censor:0, Owner:[北 研二], Read:継承, Write:継承, Delete:継承.
種別 (必須): 学術論文 (審査論文) [継承]
言語 (必須): 日本語 [継承]
招待 (推奨):
審査 (推奨):
カテゴリ (推奨):
共著種別 (推奨):
学究種別 (推奨):
組織 (推奨):
著者 (必須): 1.北 研二 ([徳島大学.大学院社会産業理工学研究部.理工学域.知能情報系.情報工学分野]/[徳島大学.理工学部.理工学科.情報光システムコース.情報工学講座])
役割 (任意): (英)   (日) 研究全般   [継承]
貢献度 (任意):
学籍番号 (推奨):
[継承]
題名 (必須): (英)   (日) 直観主義的解析学の諸原理   [継承]
副題 (任意):
要約 (任意): (英)   (日) 本論文は,直観主義論理的論理に基づく解析学である直観主義的解析学での公理の意味を明らかかにすると共に,直観主義的解析学の公理系から,古典的解析学では成立しえない 定理をいくつか導き,これらの定理の意味論的立場での解釈について論じた.   [継承]
キーワード (推奨):
発行所 (推奨):
誌名 (必須): (英) (日) 科学基礎論研究 (読)
ISSN (任意):
[継承]
(必須): 16 [継承]
(必須): 1,2 [継承]
(必須): 69 75 [継承]
都市 (任意):
年月日 (必須): 西暦 1983年 1月 初日 (昭和 58年 1月 初日) [継承]
URL (任意):
DOI (任意):
PMID (任意):
NAID (任意):
WOS (任意):
Scopus (任意):
評価値 (任意):
被引用数 (任意):
指導教員 (推奨):
備考 (任意):

標準的な表示

和文冊子 ● 北 研二 : 直観主義的解析学の諸原理, 科学基礎論研究, Vol.16, No.1,2, 69-75, 1983年.
欧文冊子 ● Kenji Kita : 直観主義的解析学の諸原理, 科学基礎論研究, Vol.16, No.1,2, 69-75, 1983.

関連情報

Number of session users = 2, LA = 0.62, Max(EID) = 376435, Max(EOID) = 1008180.