Ein widerspruchsloses System der Analysis auf typenfreier Grundlage
From MaRDI portal
Publication:2651971
DOI10.1007/BF01181340zbMath0056.24601OpenAlexW2323210618MaRDI 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
This page was built for publication: Ein widerspruchsloses System der Analysis auf typenfreier Grundlage