Dunham, Bradford "The formalization of scientific languages. I. The work of Woodger and Hull" IBM Journal of Research and Development Volume 1, Number 4, October, 1957 pp341-8

Languages mentioned

• Hull {1940}
• Tarski {1933}
• Woodger {1937}