000 00968n a2200313#a 4500
001 2460
005 20240404163307.0
008 711207s1971 ne b 001 0 eng
010 _a79140490
015 _aNe71-33
020 _a0720422582
035 _aocm00214524
035 _aRecord 05201
040 _aDLC
_cDLC
049 _aP5AA
082 0 4 _a511.3
_bK27m
090 _alf4
100 1 _aKeisler, H. Jerome.
_945944
245 1 0 _aModel theory for infinitary logic;
_blogic with countable conjunctions and finite quantifiers/
_c[By] H. Jerome Keisler.
260 _aAmsterdam ;
_bNorth-Holland,
_c1971.
300 _ax, 208 p.:
_c23 cm.
504 _aBibliography: p. 193-203.
650 0 _aInfinitary languages.
_938173
650 0 4 _aModel theory.
_9952
697 _aLógica e Fundamentos 04-
_x"Studies in Logic"
_923801
942 _2impa
_cBK
999 _c3631
_d3631
490 0 _aStudies in logic and the foundations of mathematics
_vv. 62.
_944413