Displaying similar documents to “Eine Verallgemeinerung des Hauptsatzes von Gentzen.”

Logische Kategorien.

Peter Hájek (1970)

Archiv für mathematische Logik und Grundlagenforschung

Similarity: