000 00312nam a2200121 4500
008 160616s 000 0
245 _aModel theoretic logics / edited by J. Barwise and S. Feferman
100 _aBarwise, J
100 _aFererman, S
500 _aB31 M53
942 _cBK
_2BK4631
080 _a510.6 BAR
999 _c4631
_d4631