Extensions of first order logic (1996)

by M Manzano
Venue:of Cambridge Tracts in Theoretical Computer Science