Basic model theory
Κύριος συγγραφέας: | Doets, Kees |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Stanford, CA
CLSI Publications
1996
|
Σειρά: | Studies in logic, language and information
|
Θέματα: |
Παρόμοια τεκμήρια
-
Basic proof theory /
ανά: Troelstra, A. S. (Anne Sjerp)
Έκδοση: (1996) -
Basic proof theory /
ανά: Troelstra, A. S. (Anne Sjerp)
Έκδοση: (2000) -
Continuous model theory /
ανά: Chang, Chen Chung, 1927-
Έκδοση: (1966) -
Theory of relations /
ανά: Fraisse, Roland
Έκδοση: (2000) -
Proof theory /
ανά: Takeuti, Gaisi 1926-
Έκδοση: (1975)