Яворская Т.Л. - Математическая логика - 5. Логика I порядка ...