Tìm hiểu về vận trù học - Trần Vũ Thiệu (KHKT, 1976)