@article {IOPORT.03547274,
    author       = {Wagner, Klaus},
    title        = {Arithmetische Operatoren.},
    year         = {1976},
    journal      = {Zeitschrift f\"ur Mathematische Logik und Grundlagen der Mathematik},
    volume       = {22},
    issn         = {0044-3050},
    pages        = {553-570},
    publisher    = {VEB Deutscher Verlag der Wissenschaften, Berlin},
    doi          = {10.1002/malq.19760220163},
    identifier   = {03547274},
}