학술논문
A DEDEKIND-STYLE AXIOMATIZATION and the CORRESPONDING UNIVERSAL PROPERTY of AN ORDINAL NUMBER SYSTEM
Document Type
Article
Author
Source
In: Journal of Symbolic Logic . (Journal of Symbolic Logic, 26 December 2022, 87(4):1396-1418)
Subject
Language
English
ISSN
19435886
00224812
00224812