A Formal System of Axiomatic Set Theory in Coq
In: IEEE Access, Jg. 8 (2020), S. 21510-21523
Online
academicJournal
Zugriff:
Titel: |
A Formal System of Axiomatic Set Theory in Coq
|
---|---|
Autor/in / Beteiligte Person: | Sun, T. ; Yu, W. |
Link: | |
Zeitschrift: | IEEE Access, Jg. 8 (2020), S. 21510-21523 |
Veröffentlichung: | 2020 |
Medientyp: | academicJournal |
ISSN: | 2169-3536 (print) |
DOI: | 10.1109/ACCESS.2020.2969486 |
Sonstiges: |
|