New introduction to model logic - Huges G E; Cresswell M J (London Rpoutledge, 1996)
Keywords: LOGIC