Logo Logo

Publications by Ishihara, Hajime

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date
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

This list was generated on Fri Jan 27 04:33:57 2023 CET.