Intuitionistic fixed point theories over set theories

Toshiyasu Arai. Intuitionistic fixed point theories over set theories. Arch. Math. Log., 54(5-6):531-553, 2015. [doi]

Authors

Toshiyasu Arai

This author has not been identified. Look up 'Toshiyasu Arai' in Google