Eliminacija reza i strukturna teorija dokaza logike drugog reda : doktorski rad - Skansi, Sandro (2013)