"Математическая логика. Дополнительные главы" - читать интересную книгу автора (Колмогоров, Драгалин.)