Lôgich toán và cơ sở toán học - Phan Đình Diệu. (Bộ sách toán cao cấp - Viện Toán học, 2003)