×

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