Http://bbs.matwav.com/index.jsp.jsp.cm/index.jsp
http://bbs.matwav.com/user/download/170155/herbrand定理.ppt
http://bbs.matwav.com/user/download/170154/herbrand定理.ppt
http://bbs.matwav.com/user/download/170158/herbrand定理_3.ppt
http://bbs.matwav.com/user/download/170161/归结原理.ppt
http://bbs.matwav.com/user/download/170162/命题逻辑_NO_1.ppt
