Project

Goede partiële ordeningen in bewijstheorie en maximale ordeningstypes, ad