Pages that link to "Item:Q4948527"

The following pages link to Decidability of cylindric set algebras of dimension two and first-order logic with two variables (Q4948527):

Displaying 1 item.

• Finite algebras of relations are representable on finite sets (Q4254632) (← links)