Basic concepts of mathematics and logic. - Gemignani, Michael C.