Logic by way of set theory

Попытка построения формальной логики на основе теории множеств. Исчисления классов и высказываний, теория дедуктивного вывода и доказательства. Современная и традиционная логика. Области приложения логики ;