Logo Logo
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Springe zu: 2019
Anzahl der Publikationen: 1

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

Diese Liste wurde am Sat Nov 23 18:39:48 2024 CET erstellt.