Handbook of Logic in Artificial Intelligence and Logic Programming - Humphreys (Oxford University PressOxford University Press, 2023)