TY - BOOK ED - International Summer Institute and Logic Colloquim( 1974 : Univ of Kiel) ED - International Summer Institute and Logic Colloquim TI - ISILC Logic conference: proceedings SN - 3-540-07534-8 U1 - 511.3 PY - 1975/// CY - Berlin PB - Springer-Verlag KW - Mathematical logic KW - Set theory ER -