Introduction to model logic - Hughes G E; Creeswell M J (London Methuen UK, 1968)
Keywords: LOGIC