https://9lib.org/document/zlgjw81l-first-order-logic-second-order-logic-and-completeness.html