Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
Natural deduction and transformation analysis
1969
V. A. Smirnov
in: Sektionen I-IV, Freiburg-Basel-Wien : Herder