Blum, A. UG in Irving Copi’s Symbolic Logic. tr 2023, 17.