Classical First-Order Logic - Shapiro/Kissel (Cambridge University Press, 2022)