Gondree, M. First Order Logic - Quantifiers: Discrete Mathematics. PAC 2023, 3.