Ibrulj, N. “Basics of Second-Order Predicate Logic”. THE LOGICAL FORESIGHT - Journal for Logic and Science, vol. 3, no. 1, Dec. 2023, pp. 1-14, doi:10.54889/issn.2744-208X.2023.3.1.1.