Maehara Shoji | Waseda University

スポンサーリンク

概要

• 同名の論文著者
• Waseda Universityの論文著者

関連著者

• Maehara Shoji

  Waseda University

• NISHIMURA TOSHIO

  Hosei University

• SEKI SETSUYA

  St. Paul's University

• Seki Setsuya

  St. Paul's University

著作論文

• Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension
• Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types
• General Recursive Functions in the Number-Theoretic Formal System

スポンサーリンク