TSUJI TAKASHI | Institute of Information Science, University of Tsukuba
スポンサーリンク
概要
Institute of Information Science, University of Tsukuba | 論文
- TENSE ARITHMETIC I : FORMALIZATION OF PROPERTIES OF PROGRAMS IN RATIONAL ARITHMETIC
- TENSE ARITHMETIC I : FORMALIZATION OF PROPERTIES OF PROGRAMS IN RATIONAL ARITHMETIC
- Hyper-principle and the functional structure of ordinal diagrams(Logic and the Foundations of Mathematics)