Fixed-Point Extensions of First-Order Logic

Yuri Gurevich, Saharon Shelah

Browse the full FOCS paper archive.