Tudományos tisztségei SZTE Kalmár László Informatikai Intézet MTA Matematikai Bizottság (1953-1976) Filozófiai Főbizottság (1957-1976) Tudományfilozófiai Nemzeti Bizottság, tag, (1958-1976) Elnökségi Kibernetikai Bizottság, tag és elnök (1961-1970) TMB[4] Matematikai Szakbizottság (1963-1976) Nyelv- és Irodalomtudományi Osztály Matematikai és Alkalmazott Nyelvészeti Munkabizottság (1964-1976) Matematikai Kutató Intézet Tudományos Tanácsa (1965-1976) Számítástechnikai Központ Tudományos Tanácsa tagja, (1965-1976) SZAB[5] Matematikai, Fizikai és Kémiai Szakcsop. és Szakbiz. tag Kibernetikai és Számítástechnikai Munkabizottság elnöke (1969-1976) Association for Symbolic Logic Comm. Logic in Europe tagja (1966-1976) Int. Federation for Inf. Processing Working Group 2.2 tagja (1967-1976) OMFB tagja (1970-1976) Szerkesztés Acta Cybernetica főszerk. (1969-1976) Szerkesztő Bizottsági tagság Acta Mathematica Hungarica (1956-1976) Matematikai Lapok (1950-1976) Studia Sci. Math. Hung. (1966-1976) Információ - Elektronika (1966-1976) Periodica Math. Hung. (1970-1976) Journal of Symbolic Logic (USA, 1944-1951) Zeitschrift für Math. Logik und der Math. (NDK, 1955-1976) Archív für Math. Logik und Grundlagenforschung (NSZK, 1956-1976) Elektronische Inf. und Kybernetik (NDK, 1965-1976)