scientific article; zbMATH DE number 3291110
From MaRDI portal
Publication:5573944
zbMath0183.00701MaRDI QIDQ5573944
Publication date: 1967
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Gilt das Lemma von König „konstruktiv“? ⋮ Eine Verallgemeinerung des Hauptsatzes von Gentzen ⋮ Dialogues, strategies, and intuitionistic provability
This page was built for publication: