On the categoricity in power of elementary deductive systems and some related problems
Tom 3 / 1954
Colloquium Mathematicum 3 (1954), 58-62
DOI: 10.4064/cm-3-1-58-62