Model logic an introduction - Chellas, Brian F . (Cambridge : Cambridge University Press, 1988)
Includes index
Keywords: LOGIC