![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | Date
Number of items: 2.
2019
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, Vol. 58, No. 1-2: pp. 203-217
2016
Ishihara, Hajime und Schwichtenberg, Helmut
(2016):
Embedding classical in minimal implicational logic.
In: Mathematical Logic Quarterly, Vol. 62, No. 1-2: pp. 94-101