zbMath0942.03531MaRDI QIDQ4704069
Masaru Shirahata
Publication date: 2 December 1999
Mathematics Subject Classification ID
03E70: Nonclassical and second-order set theories
03F50: Metamathematics of constructive systems
Related Items