Logic: Reference Book for Computer Scientists