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