TY - BOOK ED - Symposia in Pure Mathematics( 1971 : Berkeley ) ED - Symposia in Pure Mathematics TI - Tarski Symposium: proceedings U1 - 510.6PM PY - 1974/// CY - Providence PB - AMS KW - Mathematics ER -