How did logic happen - and what is it good for? Course materials