Яворская Т.Л. - Математическая логика - 7. Логика I порядка. Общезначимость. Эквивалентность