Ibrulj, N. Basics of Second-Order Predicate Logic. tlf 2023, 3, 1-14.