Logo Logo
[höher] Eine Ebene höher
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: 2019 | 2016
Anzahl der Publikationen: 2

2019

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, Bd. 58, Nr. 1-2: S. 203-217

2016

Ishihara, Hajime und Schwichtenberg, Helmut (2016): Embedding classical in minimal implicational logic. In: Mathematical Logic Quarterly, Bd. 62, Nr. 1-2: S. 94-101

Diese Liste wurde am Sun Nov 24 00:03:01 2024 CET erstellt.

Open Access LMU verwendet EPrints 3, das an der School of Electronics and Computer Science der Universität Southampton entwickelt wurde.
Impressum − Datenschutz