Journal ArticleDOI
Gerhard Gentzen. Investigations into logical deduction. English translation of 4422 by M. E. Szabo. American philosophical quarterly, vol. 1 (1964), pp. 288–306, and vol. 2 (1965), pp. 204–218. - Paul Bernays. Introduction.Therein, vol. 1, p. 288.
Reads0
Chats0
About:
This article is published in Journal of Symbolic Logic.The article was published on 1970-03-01. It has received 2 citations till now.read more
Citations
More filters
Journal ArticleDOI
Technologies for "Complete, Transparent & Interactive Models of Math" in Education
TL;DR: In this article, the authors describe a complete, transparent and interactive model of mathematics, which offers interactive experience in all relevant aspects in doing mathematics, using several layers of formal languages: the language of terms, of specifications, of proofs and of program language, which are connected by Lucas-Interpretation providing "next-step guidance" as well as providing prover power to check user input.
Journal ArticleDOI
Technologies for "Complete, Transparent & Interactive Models of Math" in Education
TL;DR: The paper addresses educational scientists who want to examine specific software features and estimate respective effects in STEM education at universities and subsequently at high-school.