Publication:3768427
From MaRDI portal
zbMath0631.68072MaRDI QIDQ3768427
Publication date: 1986
03F99: Proof theory and constructive mathematics
zbMath0631.68072MaRDI QIDQ3768427
Publication date: 1986
03F99: Proof theory and constructive mathematics