(untitled) - Andrew Simpson (Boston, MA, 2002)
Keywords: logic, symbolic and mathematical,combinatorial analysis