Elementary logic in 10 chapters