MISC

本文へのリンクあり

2005年

Differential calculus in second order arithmetic

「証明論と計算論」京都大学数理解析研究所講究録

ダウンロード

回数 : 223

Keita Yokoyama

巻: 1442
号
開始ページ: 122
終了ページ: 148
記述言語: 英語
掲載種別
出版者・発行元: 京都大学

リンク情報

CiNii Articles: http://ci.nii.ac.jp/naid/120000900960
CiNii Books: http://ci.nii.ac.jp/ncid/AN00061013
URL: http://id.ndl.go.jp/bib/7440656
URL: http://hdl.handle.net/2433/47571

ID情報

ISSN : 1880-2818
CiNii Articles ID : 120000900960
CiNii Books ID : AN00061013

エクスポート: BibTeX RIS

MISCリストへ