Handbook of practical logic and automated reasoning - Harrison John (Cambridge CUP, 2009)
Keywords: Computer logic