The following pages link to On the unity of algebra and logic (Q3803296):
Displaying 13 items.
- On the logic of UNITY (Q673960) (← links)
- Coherence in Cartesian closed categories and the generality of proofs (Q750442) (← links)
- Monoidal categories with natural numbers object (Q920197) (← links)
- An internal language for autonomous categories (Q1320337) (← links)
- Are the traditional philosophies of mathematics really incompatible? (Q1323041) (← links)
- Eponymphomania (Q1777507) (← links)
- On the logic of unification (Q1823935) (← links)
- Universal algebraic logic. Dedicated to the unity of science (Q2093497) (← links)
- Logic in Whitehead's universal algebra (Q2910351) (← links)
- On a connection between algebra, logic and linguistics (Q3495524) (← links)
- The unity of logic, pedagogy and foundations in Grassmann's mathematical work (Q4472745) (← links)
- N‐Categories in Logic (Q5903366) (← links)
- Algebraic and logical aspects of unification (Q6169562) (← links)