Generalisation of First-Order Logic to Nonatomic Domains.

Peter Roeper Generalisation of First-Order Logic to Nonatomic Domains. 815-838 1985 50 J. Symb. Log. 3 db/journals/jsyml/jsyml50.html#Roeper85