Title: Teoria della dimostrazione
Subjects: Ordinal Numbers, Proof theory