Title: Circumscription and generic mathematical objects
First published: 1992
Subjects: Definability theory (Mathematical logic), Artificial intelligence
LC classification: QA76.995 .B47 1992