Displaying similar documents to “Ein starker Normalisationssatz für die bar-rekursiven Funktionale.”

Ein logischer Habakus.

Heinrich Behmann (1958)

Archiv für mathematische Logik und Grundlagenforschung

Similarity: