The following pages link to (Q3228603):
Displaying 6 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)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← 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)
