Publication:3230476
From MaRDI portal
zbMath0068.27002MaRDI QIDQ3230476
Publication date: 1955
03Fxx: Proof theory and constructive mathematics
Related Items
zbMath0068.27002MaRDI QIDQ3230476
Publication date: 1955
03Fxx: Proof theory and constructive mathematics
Related Items