Publications by Ishihara, Hajime
 | Up a level |
Group by: Item Type | Date
Jump to: Journal article
Number of items: 2.
Journal article
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