Title: Selected chapters from The elements of logic