Pages that link to "Item:Q2054224"

The following pages link to Primitively recursive categoricity for unars and equivalence structures (Q2054224):

Displaying 1 item.

• Generalization of Shapiro's theorem to higher arities and noninjective notations (Q2700823) (← links)