Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Keisler, H. Jerome
Μορφή: Βιβλίο
Γλώσσα:Αγγλικά
Έκδοση: Amsterdam : North-Holland Pub. Co., 1971.
Σειρά:Studies in logic and the foundations of mathematics, v. 62
Θέματα:
Infinitary languages.
Model theory.
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

MARC

LEADER 00000nam a2200000 4500
001 00112917
003 PWmBRO
005 20240602103049.0
008 960531s1971 ne b 00110 eng
020 |a 0720422582 
100 1 0 |a Keisler, H. Jerome. 
245 1 0 |a Model theory for infinitary logic :  |b logic with countable conjunctions and finite quantifiers /  |c H. Jerome Keisler. 
260 0 |a Amsterdam :  |b North-Holland Pub. Co.,  |c 1971. 
300 |a x, 208 p. 
440 0 |a Studies in logic and the foundations of mathematics,  |v v. 62 
650 0 |a Infinitary languages. 
650 0 |a Model theory. 
942 |2 ddc 
952 |0 0  |1 127  |4 0  |6 511_300000000000000_K27  |7 0  |8 MN  |9 91790  |a ML015  |b ML015  |c MN  |d 2024-06-02  |l 0  |o 511.3 K27  |p 115025  |r 2018-03-27 00:00:00  |w 2018-03-27  |y BK 
999 |c 69655  |d 69655 

Παρόμοια τεκμήρια