Pages that link to "Item:Q737087"

The following pages link to The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations (Q737087):

Displaying 2 items.

• The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations (Q737087) (← links)
• (Q3384163) (← links)