Completeness of Global Intuitionistic Set Theory

Sorry, there's nothing here.

Topics

Cite this paper

@article{Titani1997CompletenessOG, title={Completeness of Global Intuitionistic Set Theory}, author={Satoko Titani}, journal={J. Symb. Log.}, year={1997}, volume={62}, pages={506-528} }