Switch to: Citations

References in:

Constructive Set Theory with Operations

In Alessandro Andretta, Keith Kearnes & Domenico Zambella (eds.), Logic Colloquium 2004: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Torino, Italy, July 25-31, 2004. Cambridge: Cambridge University Press (2007)

Add references

You must login to add references.

No references yet.