Ứng dụng logic hình thức (Trong quản lý hành chính nhà nước) - Nguyễn Anh Tuấn, TS. (Đại học Quốc gia, 2004)