Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "122113950"
|
|
|
| Link zu diesem Datensatz | https://d-nb.info/130618066X |
| Titel | Hyperclass forcing in Morse-Kelley class theory / Carolin Antos, Sy-David Friedman |
| Person(en) |
Antos, Carolin (Verfasser) Friedman, Sy-David (Verfasser) |
| Verlag | Konstanz : KOPS Universität Konstanz |
| Zeitliche Einordnung | Erscheinungsdatum: 2017 |
| Umfang/Format | Online-Ressource (pdf) |
| Persistent Identifier | URN: urn:nbn:de:bsz:352-2-ctken29td8mm1 |
| URL | https://kops.uni-konstanz.de/handle/123456789/39496 (Verlag) (kostenfrei zugänglich) |
| Sprache(n) | Englisch (eng) |
| Anmerkungen | In: The Journal of Symbolic Logic. 2017, 82(2), pp. 549-575. ISSN 0022-4812. eISSN 1943-5886. Available under: doi: 10.1017/jsl.2016.74 |
| DDC-Notation | 005.13 (maschinell ermittelte DDC-Kurznotation) |
| Sachgruppe(n) | 004 Informatik |
| Online-Zugriff | Archivobjekt öffnen |

