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