Logics for computer science - Singh, Arindama (New Delhi: Prentice-Hall, 2003)
Includes index
Bibliography: p. 357-362
Keywords: Modelity [Logic]; Proposition [Logic]; Logic, Symbolic and mathematical; Language and logic; Resolution [Logic]; Computer logic