Beweisen im Mathematikunterricht. Didaktische Anwendungen der Lehre vom logischen Schließen. (German) Zbl 0407.03002
Darmstadt: Wissenschaftliche Buchgesellschaft. IV, 233 S. DM 33.50 (1979).
MSC:
03-01 | Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations |
03F99 | Proof theory and constructive mathematics |