(untitled) - Trần, Diên Hiển (Hà Nội, 2000)
Keywords: Logic, symbolic and mathematical