The following pages link to (Q3228603):
Displayed 5 items.
- Meredith, Prior, and the history of possible worlds semantics (Q857664) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- To Peirce Hintikka's thoughts (Q2334658) (← links)
- Finite tree property for first-order logic with identity and functions (Q2565989) (← links)
- Henkin’s Theorem in Textbooks (Q3454810) (← links)