The following pages link to (Q5810546):
Displaying 6 items.
- Translations and structure for partial propositional calculi (Q1211980) (← links)
- The predicative Frege hierarchy (Q2271986) (← links)
- A Fortuitous Year with Leon Henkin (Q3454802) (← links)
- Kripke Models Built from Models of Arithmetic (Q3455186) (← links)
- IN MEMORIAM: SOLOMON FEFERMAN (1928–2016) (Q4602436) (← links)
- The Interpretation Existence Lemma (Q5214783) (← links)