TY - BOOK AU - Hodges Wilfrid ed ED - Conference on Mathematical Logic( 1970 : London ) ED - TI - Mathematical logic: proceedings SN - 3-540-05744-7 U1 - 511.3 PY - 1972/// CY - Berlin PB - Springer-Verlag KW - Mathematical logic ER -