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