Notes for the course "elementary logic" https://git.tronto.net/preplogic/atom?h=master