Pages that link to "Item:Q5817391"
From MaRDI portal
The following pages link to On the concepts of completeness and interpretation of formal systems (Q5817391):
Displaying 5 items.
- Delimited control operators prove double-negation shift (Q450950) (← links)
- Well-foundedness in realizability (Q850808) (← links)
- Extraction and verification of programs by analysis of formal proofs (Q1823656) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- On the metamathematics of the P vs. NP question (Q2383632) (← links)