Elementary interpretations of negationless arithmetic

From MaRDI portal
Publication:4063124