Skip to content

Ranked infinitary formulas [handwritten notes]