pdf bibModel Theoretic Semantics for Many-Purpose Languages and Language HierarchiesH. Andreka | T. Gergely | T. GergelyCOLING 1980 Volume 1: The 8th International Conference on Computational Linguistics