Language as Symbolic Logic William M Austin author 1957-12-13 apr text Research in Machine Translation Léon Dostert editor Georgetown University conference publication austin-1957-language https://aclanthology.org/1957.earlymt-1.6/ 1957-12-13 apr