#Математическая_логика Клини С.К. Введение в метаматематику. Пер. с анг ...