An intuitionistic formula hierarchy based on high-school identities.
Taus Brock-NannestadDanko IlikPublished in: Math. Log. Q. (2019)
Keyphrases
- high school
- high school students
- college students
- linear logic
- attitudes toward
- middle school
- grade students
- science teachers
- fuzzy numbers
- conceptual understanding
- science students
- high school teachers
- classical logic
- project based learning
- european countries
- learning environment
- teaching practices
- theorem prover
- deaf students