The following pages link to Logic, sets, and mathematics (Q1209798):
Displaying 11 items.
- Logical foundations for programming semantics (Q685420) (← links)
- A logic for category theory (Q685421) (← links)
- Set theory -- from Cantor's heaven to the first theory among equals (Q1279498) (← links)
- The open-endedness of the set concept and the semantics of set theory (Q1405847) (← links)
- (Q3292571) (← links)
- (Q4332919) (← links)
- (Q4396997) (← links)
- Logic and groups (Q4803975) (← links)
- (Q4918393) (← links)
- Mizar Course in Logic and Set Theory (Q5428270) (← links)
- Sets, logic and maths for computing (Q5895536) (← links)