Mathematical Logic for Computer Science(3 ed)[Team Nanban]tmrg