From Logic to computers - Thewlis,P.J