1 citations · 1 across the 3 of their papers we have counts for
1 paper · 2 filters
Nino Guallart, Angel Nepomuceno-Fernandez
In this work we suggest the use of a set-theoretical interpretation of semantic tableaux for teaching propositional logic. If the student has previous notions of basic set theory,…