Axiomatisches Arbeiten mit elementaren Funktionen und zweistelligen Operationen
Zur Navigation springen
Zur Suche springen
Peter Wiechmann (1982): Axiomatisches Arbeiten mit elementaren Funktionen und zweistelligen Operationen. Dissertation, Humboldt-Universität zu Berlin.