Pages that link to "Item:Q2645424"
From MaRDI portal
The following pages link to Die Widerspruchsfreiheit der Stufenlogik (Q2645424):
Displaying 5 items.
- Logic reduced to bare (proof-theoretical) bones (Q302245) (← links)
- Steuerung freier Ränder. (Control of free boundaries) (Q1822750) (← links)
- The independence of Peano's fourth axiom from Martin-Löf's type theory without universes (Q3809795) (← links)
- The consistency of the ramified <i>Principia</i> (Q5771774) (← links)
- Dialogues and Proofs; Yankov’s Contribution to Proof Theory (Q5886456) (← links)