The foundations of intuitionistic mathematics : especially in relation to recursive functions /
Κύριος συγγραφέας: | Kleene, Stephen Cole, 1909-1994 (συγγραφέας.) |
---|---|
Άλλοι συγγραφείς: | Vesley, Richard Eugene, 1932- (συγγραφέας.) |
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Amsterdam :
North-Holland,
1965.
|
Σειρά: | Studies in logic and the foundations of mathematics
|
Θέματα: |
Παρόμοια τεκμήρια
-
Mathematical logic
ανά: Kleene, Stephen Cole, 1909-1994
Έκδοση: (1967) -
Proof theory and intuitionistic systems /
ανά: Scarpellini, Bruno
Έκδοση: (1971) -
Introduction to metamathematics
ανά: Kleene, Stephen Cole, 1909-1994
Έκδοση: (1971) -
Metamathematical investigation of intuitionistic arithmetic and analysis /
Έκδοση: (1973) -
Mathematical logic and the foundations of mathematics : an introductory survey /
ανά: Kneebone, G. T.
Έκδοση: (1963)