Learning to program is getting harder (2018)
allendowney.blogspot.com
allendowney.blogspot.com
I've seen this approach implemented for teaching logic and proof, both
https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_g...
and
and it seems to work well. It is certainly easy to get started.