Partial Order and the Successor Function

From MaRDI portal
Publication:3242262