Metamathematical Properties of Intuitionistic Set Theories with Choice Principles

by Michael Rathjen
Citations:1 - 0 self