000			00292nam a22001337a 4500
008			210531b ||||| |||| 00| 0 eng d
041			_aeng
080			_22nd _a004
082			_a004
100			_a28
101			_aSHKI
245			_aLanguage proof and Logic _cPlummer,D.B
942			_2udc _cBK
999			_c57846 _d57846