The following pages link to A simplification of basic logic (Q5824362):
Displayed 6 items.
- A definition of existence in terms of abstraction and disjunction (Q3260564) (← links)
- Recursive functions in basic logic (Q3260567) (← links)
- Constructive definition of certain analytic sets of numbers (Q3265667) (← links)
- Correction to a definition of negation (Q3701396) (← links)
- Abstraction in Fitch's Basic Logic (Q5497106) (← links)
- A definition of negation in extended basic logic (Q5832047) (← links)