000 00348nam a2200133 4500
008 160616s 000 0
245 _aProceedings of the Tarski symposium
100 _aHenkin, L
700 _aAMS
440 _aProceedings of symposia in pure mathematics ; 00025
500 _aBp J9.
942 _cBK
_2BK5911
080 _a51(083.2) AMS
999 _c5911
_d5911