Logic: Reference Book for Computer Scientists - innbundet, Engelsk, 2023