Classical first-order logic - Shapiro, Stewart 1951-; Kouri Kissel, Teresa ca. 20./21. Jh (Cambridge University Press, 2022)