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