Fragments of First-Order Logic - Pratt-Hartmann (Oxford University PressOxford University Press, 2023)