Intuitionistic set theory

Descrição: While intuitionistic (or constructive) set theory IST has received a certain attention from mathematical logicians,... Veja mais