Title: Eine Termlogik mit Auswahloperator
Subjects: Symbolic and mathematical Logic, Mathematics, data processing, Mathematics, Mathematics, general