In case this is of interest, and unknown, there's an aesthetically pleasant digitization of Euclid's elements[0]. But I'm not sure whether it's best for studyin

In case this is of interest, and unknown, there's an aesthetically pleasant digitization of Euclid's elements[0]. But I'm not sure whether it's best for studying: usually, actively engaging with the material is key (e.g. performing the constructions, without a model), thought the effective rules for kids might be different. I'm actually happy to see them interested in propositional logic, given how foundational it can be to coherent thinking. I would have guessed, as the author, that manual activities would have been preferred. [0]: https://www.c82.net/euclid/#books https://www.c82.net/euclid/#books