Pages that link to "Item:Q3312231"

The following pages link to Monadic representability of certain binary relations (Q3312231):

Displaying 2 items.

• First-order logic and first-order functions (Q497872) (← links)
• An intriguing logic with two implicational connectives (Q698537) (← links)