The following pages link to On simplicity of formulas (Q757354):
Displaying 5 items.
- Technical notes on a theory of simplicity (Q1292998) (← links)
- On simplification of formulas with unconstrained variables and quantifiers (Q1680265) (← links)
- The ubiquitous axiom (Q2038868) (← links)
- Simplifying Inclusion–Exclusion Formulas (Q5364235) (← links)
- The parallel postulate (Q6657509) (← links)