The following pages link to On weakened quantification (Q5843549):
Displayed 5 items.
- On a generalized cylindrical algebra and intuitionistic logic (Q1216293) (← links)
- A qualitative temporal extension of here-and-there logic (Q2694563) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- Heyting’s contribution to the change in research into the foundations of mathematics (Q4312340) (← links)
- (Q5537594) (← links)