Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
Κύριος συγγραφέας: | Keisler, H. Jerome (συγγραφέας.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam :
North - Holland,
1971.
|
Σειρά: | Studies in logic and the foundations of mathematics
62. |
Θέματα: |
Παρόμοια τεκμήρια
-
Model-theoretic logics
Έκδοση: (1985) -
Logic and algebra /
Έκδοση: (2002) -
Foundations of the logical theory of scientific knowledge (complex logic) /
ανά: Zinoviev, Aleksandr, 1922-2006
Έκδοση: (1973) -
Categorical logic and type theory /
ανά: Jacobs, Bart
Έκδοση: (1999) -
Sets, logic, and axiomatic theories
ανά: Stoll, Robert R.
Έκδοση: (1961)