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

by J Los
Venue:Colloq. Math