Математическая логика: Введение в математическую логику

Колмогоров А.Н., Драгалин А.Г.

 

---