pdf bibModel Theoretic Semantics for Many-Purpose Languages and Language HierarchiesH. Andréka | T. Gergely | I. NémetiCOLING 1980 Volume 1: The 8th International Conference on Computational Linguistics