Publication:2753685
From MaRDI portal
zbMath0973.03078MaRDI QIDQ2753685
Publication date: 11 November 2001
03F50: Metamathematics of constructive systems
Related Items
zbMath0973.03078MaRDI QIDQ2753685
Publication date: 11 November 2001
03F50: Metamathematics of constructive systems
Related Items