The Pedagogy of Primary Historical Sources in Mathematics: Classroom Practice Meets Theoretical Frameworks

Introduction to a General Theory of Elementary Propositions

Emil L. Post · American Journal of Mathematics · 1921 · 1K citations

Automated Reasoning, Classical Logic, Elementary Propositions +1

Tractatus Logico-Philosophicus.

P. T. Geach, Ludwig Wittgenstein's, D. F. Pears et al. · The Philosophical Review · 1963 · 826 citations

A categorization of the “whys” and “hows” of using history in mathematics education

Uffe Thomas Jankvist · Educational Studies in Mathematics · 2009 · 253 citations

Stem Education, Mathematics Education, Education +5

The Basic Laws of Arithmetic: Exposition of the System.

Robert Stoothoff, Gottlob Frege, Montgomery Furth · The Philosophical Quarterly · 1966 · 181 citations

Automated Reasoning, Montgomery Furth, Formal Mathematical Reasoning +6

Can Mathematics Education and History of Mathematics Coexist?

Michael Fried · Science & Education · 2001 · 159 citations