Selected works in logic