Mathematical introduction to logic copi solutions manual