A relational definition of an abstract arithmetic.

From MaRDI portal
Publication:572011