Символическая логика и разумные машины - Берклин Э. (Иностр. лит., 1961)