Kokio Shirai
From MaRDI portal
Person:599811
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| scientific article; zbMATH DE number 1377702 (Why is no real title available?) | 1999-12-14 | Paper |
| scientific article; zbMATH DE number 1373379 (Why is no real title available?) | 1999-12-02 | Paper |
| The \(\omega\)-consistency of elementary analysis Tsukuba Journal of Mathematics | 1998-04-15 | Paper |
| scientific article; zbMATH DE number 3691321 (Why is no real title available?) | 1980-01-01 | Paper |
| A relation between transfinite induction and mathematical induction in elementary number theory Tsukuba Journal of Mathematics | 1977-01-01 | Paper |
| Intuitionistic Version of the Los-Tarski-Robinson Theorem Annals of the Japan Association for Philosophy of Science | 1975-01-01 | Paper |
| Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol Annals of the Japan Association for Philosophy of Science | 1971-01-01 | Paper |
Research outcomes over time
This page was built for person: Kokio Shirai
