Logic: Reference Book for Computer Scientists - sidottu, Englanti, 2023