TY - SER TI - ARCHIV FUR MATHEMATISHE LOGIK AND GRUND LOGEN FORSCHUNG SN - 0003-9268 PY - 1950/// CY - HEIDELBERG PB - SPRINGER-VERLAG ER -