Download PDF - On the categoricity in power of elementary deductive systems and some related problems