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

Journal article

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

Ishihara, Hajime und 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 Oct 6 02:03:37 2024 CEST.