Eintrag weiter verarbeiten
Ivo Thomas. The rule of excision in positive implication. Notre Dame journal of formal logic, vol. 3 (1962), p. 64.
Gespeichert in: