Introduction to mathematical logic and resolution principle - Guo-Jun Wang; Hong-Jun Zhou (Beijing : Science Press, 2009)
Includes bibliographical references and index
Keywords: Logic, symbolic and mathematical -- Textbooks; Logic, Symbolic and mathematical