|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 2
Zeitschriftenartikel
Berger, Josef; Ishihara, Hajime; Kihara, Takayuki und Nemoto, Takako
(2019):
The binary expansion and the intermediate value theorem in constructive reverse mathematics.
In: Archive for Mathematical Logic, Bd. 58, Nr. 1-2: S. 203-217
Ishihara, Hajime und Schwichtenberg, Helmut
(2016):
Embedding classical in minimal implicational logic.
In: Mathematical Logic Quarterly, Bd. 62, Nr. 1-2: S. 94-101