В. Л. Матросов. Математическая логика. М.:Прометей, 2020