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) -
Finite model theory
ανά: Ebbinghaus, Heinz-Dieter, 1939-
Έκδοση: (1999)