The following pages link to (Q4315105):
Displaying 6 items.
- A defense of second-order logic (Q660454) (← links)
- Accessibility of reformulated mathematical content (Q1708804) (← links)
- The challenge of many logics: a new approach to evaluating the role of ideology in Quinean commitment (Q2053348) (← links)
- Why do informal proofs conform to formal norms? (Q2271071) (← links)
- The surveyability of long proofs (Q2271073) (← links)
- Truth via anaphorically unrestricted quantifiers (Q5947379) (← links)