Internal approach to external sets and universes Vladimir KanoveiMichael Reeken OriginalPaper Pages: 293 - 322
A linear conservative extension of Zermelo-Fraenkel set theory Masaru Shirahata OriginalPaper Pages: 361 - 392
A reduction rule for Peirce formula Sachio HirokawaYuichi KomoriIzumi Takeuti OriginalPaper Pages: 419 - 426