Circumscription and implicit definabilit
β
Jon Doyle
π
Article
π
1985
π
Springer Netherlands
π
English
β 887 KB