Intuitionistic logic, model theory and forcing /
| Κύριος συγγραφέας: | Fitting, Melvin 1942- (συγγραφέας.) |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Amsterdam :
North-Holland,
1969.
|
| Σειρά: | Studies in logic and the foundations of mathematics
|
| Θέματα: |
Παρόμοια τεκμήρια
-
Model theory
ανά: Manzano, Maria
Έκδοση: (1999) -
Model theory /
ανά: Chang, Chin-Chen 1927-
Έκδοση: (1973) -
Model theory /
ανά: Hodges, Wilfrid
Έκδοση: (1993) -
A course in model theory : an introduction to contemporary mathematical logic /
ανά: Poizat, Bruno
Έκδοση: (2000) -
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
ανά: Keisler, H. Jerome
Έκδοση: (1971)