Proof theory and intuitionistic systems /
Κύριος συγγραφέας: | Scarpellini, Bruno (συγγραφέας.) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin ; New York :
Springer-Verlag,
1971.
|
Σειρά: | Lecture notes in mathematics (Springer-Verlag)
212. |
Θέματα: |
Παρόμοια τεκμήρια
-
Proof theory /
ανά: Takeuti, Gaisi 1926-
Έκδοση: (1975) -
The foundations of intuitionistic mathematics : especially in relation to recursive functions /
ανά: Kleene, Stephen Cole, 1909-1994
Έκδοση: (1965) -
Metamathematical investigation of intuitionistic arithmetic and analysis /
Έκδοση: (1973) -
Basic proof theory /
ανά: Troelstra, A. S. (Anne Sjerp)
Έκδοση: (1996) -
Basic proof theory /
ανά: Troelstra, A. S. (Anne Sjerp)
Έκδοση: (2000)