Pages that link to "Item:Q3029010"
From MaRDI portal
The following pages link to The contributions of Alfred Tarski to algebraic logic (Q3029010):
Displaying 7 items.
- Weak second order characterizations of various program verification systems (Q1124311) (← links)
- Subsumption computed algebraically (Q1202639) (← links)
- (Q3503674) (← links)
- Alfred Tarski and decidable theories (Q3791109) (← links)
- Alonzo Church's Contributions to Philosophy and Intensional Logic (Q4212933) (← links)
- (Q5236405) (← links)
- A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures (Q6612780) (← links)