M. Gondree, “First Order Logic - Quantifiers: Discrete Mathematics”, PAC, vol. 3, no. 4, Jan. 2023.