Lorne Szabolcsi

• Numerical term logic