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