Lattices of Intermediate Theories via Ruitenburg’s Theorem

von Grilletti, Gianluca
Veröffentlicht in TbiLLC (13. : 2019 : Batumi) Language, logic, and computation (2022)