Note on total and partial functions in second-order arithmetic (Proof Theory, Computation Theory and Related Topics)

Note on total and partial functions in second-order arithmetic (Proof Theory, Computation Theory and Related Topics)AN00061013

数理解析研究所講究録

1950pp.93 - 97 , 2015-06 , 京都大学数理解析研究所

ISSN:1880-2818

NII書誌ID(NCID):AN00061013

本文を読む

このアイテムのアクセス数：回

実行

その他の情報

公開者	京都大学数理解析研究所
国立情報学研究所メタデータ主題語彙集（資源タイプ）	Departmental Bulletin Paper
フォーマット	application/pdf
言語	eng
著者版フラグ	publisher
日本十進分類法	410
URL	http://jairo.nii.ac.jp/0019/00183236