Logo Logo
Group by: Item Type | Date
Number of items: 2.

Journal article

Berger, Josef; Ishihara, Hajime; Kihara, Takayuki and 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 and 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 Sun Feb 18 01:04:06 2024 CET.