Яворская Т.Л. - Математическая логика. Часть 1 - 4. Логика предикатов