N. Ibrulj, “Basics of Second-Order Predicate Logic ”, tlf, vol. 3, no. 1, pp. 1–14, Dec. 2023.