Ein widerspruchsloses System der Analysis auf typenfreier Grundlage
From MaRDI portal
Publication:2651971
DOI10.1007/BF01181340zbMath0056.24601MaRDI QIDQ2651971
Publication date: 1954
Published in: Mathematische Zeitschrift (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/169456
Related Items
La prédicativité, Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I