Ibrulj N. Basics of Second-Order Predicate Logic . tlf [Internet]. 2023 Dec. 12 [cited 2024 Nov. 21];3(1):1-14. Available from: https://logicalforesight.academia-analitica.ba/index.php/tlf/article/view/58