Электронный каталог: Leigh, Graham E. - Conservativity for theories of compositional truth via cut elimination