Logic, semantics, metamathematics papers from 1923 to 1938
Κύριος συγγραφέας: | Tarski, Alfred (Συγγραφέας) |
---|---|
Άλλοι συγγραφείς: | Woodger, J. H. (Μεταφραστής) |
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Glasgow
Oxford university press
1956
|
Θέματα: |
Παρόμοια τεκμήρια
-
Introduction to metamathematics
ανά: Kleene, Stephen Cole, 1909-1994
Έκδοση: (1971) -
Logique, semantique, metamathematique 1923-1944
ανά: Tarski, Alfred
Έκδοση: (1972) -
Metamathematical investigation of intuitionistic arithmetic and analysis /
Έκδοση: (1973) -
Recursion theory for metamathematics
ανά: Smullyan, Raymond M.
Έκδοση: (1993) -
Introduction to Logic and to the methology of deductive sciences
ανά: Tarski, Alfred
Έκδοση: (1965)