Arithmetische Klassifikation von Formelmengen der unendlichwertigen Logik - Ragaz, Matthias E. (1981)