logic
some stuff:
http://logic.stanford.edu/intrologic/homepage/index.html
https://www.logicmatters.net/tyl/
https://forallx.openlogicproject.org/
Interactive Graph
Table Of Contents
logic