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