Very Short Introductions to logic, mathematics, information, education, engineering and networks