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

From MaRDI portal
Publication:5825665