Math Logic by Sumana Chamrunworakiat