Электронный каталог: Шрамко, Ярослав Владиславович - Семантична репрезентація несумісних інтуїціоністських теорій