TY - BOOK AU - Vương,Tất Đạt TI - Lôgic học đại cương U1 - 160.711 PY - 2007/// CY - Hà Nội PB - Đại học Quốc gia Hà Nội KW - Logic hình thức KW - Logic học ER -