×

zbMATH — the first resource for mathematics

Arithmetische Klassifikation von Formelmengen der unendlichwertigen Logik. (German) Zbl 0516.03011
Abteilung Mathematik der Eidgenössischen Technischen Hochschule Zürich. 98 S. (1981).

MSC:
03B50 Many-valued logic
03D55 Hierarchies of computability and definability
03C07 Basic properties of first-order languages and structures