京都工芸繊維大学を検索します。
CiNii Researchを検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
IRDBを検索します。
検索キーワード:(標準分類: QA9.47)
該当件数:1件
Metamathematical investigation of intuitionistic arithmetic and analysis / A.S. Troelstra (ed.)
: u.s.,: gw. - Berlin : Springer , 1973. - (Lecture notes in mathematics ; 344)
図書