Title: Logic : Reference Book for Computer Scientists