The following pages link to (Q5818467):
Displaying 12 items.
- First-order logic and first-order functions (Q497872) (← links)
- Independence-friendly logic and axiomatic set theory (Q598297) (← links)
- Counterfactuals without possible worlds (Q1161515) (← links)
- Application of inductive logic to the analysis of construct validity (Q1245213) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- Super models (Q2334649) (← links)
- Report: an examination of a decision procedure (Q3281061) (← links)
- On the Ehrenfeucht-Fraïssé game in theoretical computer science (Q5044763) (← links)
- (Q5101344) (← links)
- From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory (Q5214779) (← links)
- On Expressive Power of Regular Expressions over Infinite Orders (Q5740199) (← links)
- The strategic balance of games in logic (Q6612796) (← links)
