Introduction to mathematical logic and resolution principle /
Wang, Guo-Jun
Introduction to mathematical logic and resolution principle Guo-Jun Wang, Hong-Jun Zhou - 2nd ed. - Beijing : Oxford, U.K. : Science Press, Alpha Science, c2009 - viii, 335 p. : ill. ; 25 cm.
Includes bibliographical references (p. 325-326) and index
9787030228994
Logic, Symbolic and mathematical
Lógica simbólica y matemética
510
Introduction to mathematical logic and resolution principle Guo-Jun Wang, Hong-Jun Zhou - 2nd ed. - Beijing : Oxford, U.K. : Science Press, Alpha Science, c2009 - viii, 335 p. : ill. ; 25 cm.
Includes bibliographical references (p. 325-326) and index
9787030228994
Logic, Symbolic and mathematical
Lógica simbólica y matemética
510