1 - Proof theory and intuitionistic systemsScarpellini, BrunoCote : [05 SCA 71]
2 - Selecta/Ernst SpeckerJäger, Gerhard (1920-....) (Ed.) / Läuchli, Hans (Ed.) / Scarpellini, Bruno (Ed.) / Strassen, Volker (Ed.)Cote : [05 JAG 90]
