Logic: Reference Book for Computer Scientists - inbunden, Engelska, 2023