Введение в теорию моделей и математическую логику. Математическая логика и основания математики.. А.Робинсон