Eine Termlogik mit Auswahloperator. (= Lecture Notes in Mathematics, Band 6).

Eine Termlogik mit Auswahloperator. (= Lecture Notes in Mathematics, Band 6).

Nicht lieferbar