Pages that link to "Item:Q5794260"
From MaRDI portal
The following pages link to Widerspruchsfreier Aufbau der Logik I (Q5794260):
Displaying 5 items.
- Replacement in logic (Q1947034) (← links)
- Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I (Q3255342) (← links)
- Toward useful type-free theories. I (Q3691666) (← links)
- A CALCULUS FOR SELF-REFERENCE (Q4093410) (← links)
- Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle (Q5596202) (← links)
