Ibrulj, Nijaz. “Basics of Second-Order Predicate Logic”. THE LOGICAL FORESIGHT - Journal for Logic and Science 3, no. 1 (December 12, 2023): 1–14. Accessed December 6, 2024. http://logicalforesight.academia-analitica.ba/index.php/tlf/article/view/58.