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