Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I
From MaRDI portal
Publication:3255342
DOI10.1007/BF01977111zbMath0083.00107MaRDI QIDQ3255342
Publication date: 1958
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137740
Cites Work
- Unnamed Item
- Unnamed Item
- Zur Axiomatik der Mengenlehre
- A set of postulates for the foundation of logic
- A set of postulates for the foundation of logic. II
- The inconsistency of certain formal logics
- Zur Widerspruchsfreiheit einer typenfreien Logik
- Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweitertes System.) I, II
- Ein widerspruchsloses System der Analysis auf typenfreier Grundlage
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
- A Proof of Freedom from Contradiction
- Widerspruchsfreier Aufbau der Logik I
- The inconsistency of certain formal logics
This page was built for publication: Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I