000 00249nam a2200097Ia 4500
008 230930s9999||||xx |||||||||||||| ||und||
100 _aBarwise, J. & Etchemendy, J.
245 4 _aThe Language Of First Order Logic.
260 _aU.S.A
260 _bStanford
999 _c1053
_d1053