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