Extensions of first order logic (1996)

by M Manzano