Extensions of first order logic - Manzano, Mari?a (Cambridge Tracts in Theoretical Computer Science ;, 1996)