"Logic from Russell to Church, Volume 5 (Handbook of the History of Logic)" - читать интересную книгу автора (Dov M. Gabbay, John Woods)