N. A. Šanin. On the constructive interpretation of mathematical judgments. English translation of XXXI 255 by Elliott Mendelson. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 109–189. - A. A. Markov. On constructive functions. English translation of XXXI 258(1) by Moshe Machover. American Mathematical Society translations, vol. 29 (1963), pp. 163–195. - S. C. Kleene. A formal system of intuitionistic analysis. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 1–89. - S. C. Kleene. Various notions of realizability:The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 90–132. - Richard E. Vesley. The intuitionistic continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 133–173. - S. C. Kleene. On order in the continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 174–186. - S. C. Kleene. <i>Bibliography.</i>The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 187–199.

• 資料種別: 記事
• タイトル: N. A. Šanin. On the constructive interpretation of mathematical judgments. English translation of XXXI 255 by Elliott Mendelson. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 109–189. - A. A. Markov. On constructive functions. English translation of XXXI 258(1) by Moshe Machover. American Mathematical Society translations, vol. 29 (1963), pp. 163–195. - S. C. Kleene. A formal system of intuitionistic analysis. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 1–89. - S. C. Kleene. Various notions of realizability:The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 90–132. - Richard E. Vesley. The intuitionistic continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 133–173. - S. C. Kleene. On order in the continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 174–186. - S. C. Kleene. <i>Bibliography.</i>The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 187–199.
• 著者標目: Georg Kreisel
• 出版年月日等: 1966-06
• 出版年（W3CDTF）: 1966-06
• タイトル（掲載誌）: Journal of Symbolic Logic
• 巻号年月日等（掲載誌）: 31 2
• 掲載巻: 31
• 掲載号: 2
• 掲載ページ: 258-261
• 掲載年月日（W3CDTF）: 1966-06
• ISSN（掲載誌）: 00224812
• 出版事項（掲載誌）: Cambridge University Press (CUP)
• 件名標目: Logic; Philosophy
• 対象利用者: 一般
• DOI: 10.2307/2269821
• 作成日（W3CDTF）: 2006-05-06
• 著作権情報: https://www.cambridge.org/core/terms
• 関連情報（URI）: https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S0022481200067499
• 参照: A Formalization of Brouwer’s Argument for Bar Induction; https://cir.nii.ac.jp/crid/1360285705773236736
• 連携機関・データベース: 国立情報学研究所 : CiNii Research
• 提供元機関・データベース: Crossref; https://www.crossref.org