Eliminacija reza i strukturna teorija dokaza logike drugog reda : doktorski rad = Cut elimination and structural proof theory for second-order logic : doctoral thesis - Skansi, Sandro (2013)