The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle.”

Ein logischer Habakus.

Heinrich Behmann (1958)

Archiv für mathematische Logik und Grundlagenforschung

Similarity: