Logic: From Foundations to Applications European Logic Colloquium - Hodges (Oxford University PressOxford University Press, 2023)