Kokio Shirai

From MaRDI portal
Person:599811

Available identifiers

zbMath Open shirai.kokioMaRDI QIDQ599811

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q47031331999-12-14Paper
https://portal.mardi4nfdi.de/entity/Q47040681999-12-02Paper
The \(\omega\)-consistency of elementary analysis1998-04-15Paper
https://portal.mardi4nfdi.de/entity/Q38857551980-01-01Paper
A relation between transfinite induction and mathematical induction in elementary number theory1977-01-01Paper
Intuitionistic Version of the Los-Tarski-Robinson Theorem1975-01-01Paper
Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol1971-01-01Paper

Research outcomes over time

This page was built for person: Kokio Shirai

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:599811&oldid=7592196"
Powered by MediaWiki