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