CZF and Second Order Arithmetic
In: Annals of Pure and Applied Logic, Jg. 141 (2006), Heft 1-2, S. 29-34
academicJournal
Zugriff:
Titel: |
CZF and Second Order Arithmetic
|
---|---|
Autor/in / Beteiligte Person: | Lubarsky, Robert S. |
Link: | |
Zeitschrift: | Annals of Pure and Applied Logic, Jg. 141 (2006), Heft 1-2, S. 29-34 |
Veröffentlichung: | Elsevier BV, 2006 |
Medientyp: | academicJournal |
ISSN: | 0168-0072 |
DOI: | 10.1016/j.apal.2005.07.002 |
Schlagwort: |
|
Sonstiges: |
|