Andrzej Mostowski On Direct Products of Theories. 1-31 1952 17 J. Symb. Log. 1 db/journals/jsyml/jsyml17.html#Mostowski52