TY - BOOK AU - Nguyễn,Đức Dân TI - Nhập môn Logic hình thức và Logic phi hình thức U1 - 160 PY - 2005/// CY - Hà Nội : PB - Đại học Quốc gia Hà Nội, KW - Logic học KW - Ngữ nghĩa ER -