Pages that link to "Item:Q1079557"
From MaRDI portal
The following pages link to Construction of decidable singular theories of two successor functions with an extra predicate (Q1079557):
Displayed 1 item.
The following pages link to Construction of decidable singular theories of two successor functions with an extra predicate (Q1079557):
Displayed 1 item.