Cardinality formulas for signatures with a unary function symbol s. − → ...

Cardinality formulas for signatures with a unary function symbol s. − → ...

More to explore