We introduce an extensional set theoretical formalism B, a subsystem of Zermelo set theory based on intuitionistic logic, which provides a set theoretic foundation for constructive analysis which is ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback