000 00622nam a2200193 4500
001 00112917
003 PWmBRO
005 20240602103049.0
008 960531s1971 ne b 00110 eng
020 _a0720422582
100 1 0 _aKeisler, H. Jerome.
245 1 0 _aModel theory for infinitary logic :
_blogic with countable conjunctions and finite quantifiers /
_cH. Jerome Keisler.
260 0 _aAmsterdam :
_bNorth-Holland Pub. Co.,
_c1971.
300 _ax, 208 p.
440 0 _aStudies in logic and the foundations of mathematics,
_vv. 62
650 0 _aInfinitary languages.
650 0 _aModel theory.
942 _2ddc
999 _c69655
_d69655