The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory
In: The Journal of Symbolic Logic, Jg. 70 (2005-12-01), Heft 4, S. 1233
Online
academicJournal
Zugriff:
Titel: |
The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory
|
---|---|
Autor/in / Beteiligte Person: | Rathjen, Michael |
Link: | |
Zeitschrift: | The Journal of Symbolic Logic, Jg. 70 (2005-12-01), Heft 4, S. 1233 |
Veröffentlichung: | 2005 |
Medientyp: | academicJournal |
ISSN: | 0022-4812 (print) |
Sonstiges: |
|