Електронний каталог: О семантике языков, содержащих не всюду определенные термы и пропозициональные формы