\textit{Big ideas} from logic for mathematics and computing education

DOI10.1007/978-3-031-26689-8_6MaRDI QIDQ6132568

No author found.

Publication date: 17 August 2023

Published in: Logic and Its Applications (Search for Journal in Brave)

zbMATH Keywords

algorithmslogicmathematics educationhigh school mathematics curriculum

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03Bxx)

Cites Work

• The phenomenology of mathematical proof
• Examining the Role of Logic in Teaching Proof
• The Role of Logic in Teaching Proof

This page was built for publication: \textit{Big ideas} from logic for mathematics and computing education