Publication:5606570
From MaRDI portal
zbMath0206.27701MaRDI QIDQ5606570
Publication date: 1970
03Fxx: Proof theory and constructive mathematics
Related Items
zbMath0206.27701MaRDI QIDQ5606570
Publication date: 1970
03Fxx: Proof theory and constructive mathematics
Related Items