Project

De ordinale en bewijstheoretische sterkte van goede partiële ordeningen