(untitled) - Đặng Huy Ruận (H.)
Keywords: logic, symbolic and mathematical