"Математическая логика (лекции)" - читать интересную книгу автора (Плиско В.Е.)