![]() | Up a level |
Berger, Josef; Ishihara, Hajime; Kihara, Takayuki; 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
Ishihara, Hajime; Schwichtenberg, Helmut (2016): Embedding classical in minimal implicational logic. In: Mathematical Logic Quarterly, Vol. 62, No. 1-2: pp. 94-101