The following pages link to (Q3081829):
Displaying 5 items.
- First-order logic and first-order functions (Q497872) (← links)
- Tracks of relations and equivalences-based reasoning (Q539158) (← links)
- Representation of functions and total antisymmetric relations in monadic third order logic (Q2421520) (← links)
- Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations (Q3006121) (← links)
- A functionalization of logical kits (Q3989951) (← links)