ARCHIV FUR MATHEMATISHE LOGIK AND GRUND LOGEN FORSCHUNG (HEIDELBERG SPRINGER-VERLAG, 1950)