On the categoricity in power of elementary deductive systems and related problems (1954)

by J L̂•os
Venue:Colloq. Math