Defining cardinal addition by ≤-formulas
Tom 115 / 1983
Fundamenta Mathematicae 115 (1983), 195-205
DOI: 10.4064/fm-115-3-195-205