Metamathematical investigation of intuitionistic arithmetic and analysis /
Άλλοι συγγραφείς: | Troelstra, A. S. (Anne Sjerp) (επιμελητής.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin ; Heidelberg ; New York :
Springer,
1973.
|
Σειρά: | Lecture notes in mathematics (Springer-Verlag)
344. |
Θέματα: |
Παρόμοια τεκμήρια
-
Introduction to metamathematics
ανά: Kleene, Stephen Cole, 1909-1994
Έκδοση: (1971) -
Logic, semantics, metamathematics papers from 1923 to 1938
ανά: Tarski, Alfred
Έκδοση: (1956) -
Proof theory and intuitionistic systems /
ανά: Scarpellini, Bruno
Έκδοση: (1971) -
The foundations of intuitionistic mathematics : especially in relation to recursive functions /
ανά: Kleene, Stephen Cole, 1909-1994
Έκδοση: (1965) -
Recursion theory for metamathematics
ανά: Smullyan, Raymond M.
Έκδοση: (1993)