Publication:3669409
From MaRDI portal
zbMath0519.03047MaRDI QIDQ3669409
Publication date: 1981
03E70: Nonclassical and second-order set theories
03F65: Other constructive mathematics
03F50: Metamathematics of constructive systems
Related Items