Математика метаматематики. Математическая логика и основания математики

Е.Расeва, Р.Сикорский

 

---