Pages that link to "Item:Q2645424"

The following pages link to Die Widerspruchsfreiheit der Stufenlogik (Q2645424):

Displaying 4 items.

• Logic reduced to bare (proof-theoretical) bones (Q302245) (← 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)