Математическая теория логического вывода. Математическая логика и основания математики.. А.В.Идельсон, Г.Е.Минц