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

А.В.Идельсон, Г.Е.Минц

 

---