Математическая логика. В. Л. Матросов

Учебная литература.