The Mathematics and Logic of Language Duncan Harkin author 1957-12-13 apr text Research in Machine Translation Léon Dostert editor Georgetown University conference publication harkin-1957-mathematics https://aclanthology.org/1957.earlymt-1.7/ 1957-12-13 apr