Model theory of infinitary logic : logic with countable conjuctions and finite quantifiers.

Model theory of infinitary logic : logic with countable conjuctions and finite quantifiers.

Saved in:
Bibliographic Details
Main Author: Keisler, H. Jerome
Format: Book
Language:English
Published: Amsterdam : North-Holland Pub. Co., 1971.
Series:Studies in logic and the foundations of mathematics ; v. 62
Subjects:
Infinitary l.
Model theory.
LEADER 00922nam a2200241 i 4500
001 c000305650
003 CARM
005 00000000000000.0
008 840313s1971 ne 0 eng d
019 1 |a 57992732  |5 LACONCORD2021 
035 |a (OCoLC)954309711  |5 LACONCORD2021 
082 0 4 |a 511.3 
100 1 |a Keisler, H. Jerome. 
245 1 0 |a Model theory of infinitary logic :  |b logic with countable conjuctions and finite quantifiers. 
260 |a Amsterdam :  |b North-Holland Pub. Co.,  |c 1971. 
300 |a 208 p. 
490 0 |a Studies in logic and the foundations of mathematics ;  |v v. 62 
500 |a Bibliography: p. 193-203. 
650 0 |a Infinitary l. 
650 0 |a Model theory. 
852 8 |b CARM  |h A2:AB01B0  |i C10986  |p 0514438  |f BK 
999 f f |i 456a6dd2-11ed-5fa6-afa8-b421ab06d926  |s 3f10b349-aa81-52b0-9da9-17c74839a620 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C10986  |f A2:AB01B0  |h Other scheme  |i book  |m 0514438 

Similar Items