Arithmetische Klassifikation von Formelmengen der unendlichwertigen Logik - Ragaz, Matthias E. (1981)
Zürich, Techn. Hochsch., Diss., 1981