Repository | Directory | Profile
References
V. A. Smirnov
Natural deduction and transformation analysis
1969
in: Sektionen I-IV, Freiburg-Basel-Wien : Herder
Repository | Directory | Profile
Natural deduction and transformation analysis
1969
in: Sektionen I-IV, Freiburg-Basel-Wien : Herder