Pages that link to "Item:Q2565989"
From MaRDI portal
The following pages link to Finite tree property for first-order logic with identity and functions (Q2565989):
Displayed 1 item.
The following pages link to Finite tree property for first-order logic with identity and functions (Q2565989):
Displayed 1 item.