Logic, semantics, metamathematics papers from 1923 to 1938
| Main Author: | Tarski, Alfred (Author) |
|---|---|
| Other Authors: | Woodger, J. H. (Translator) |
| Format: | Book |
| Language: | English |
| Published: |
Glasgow
Oxford university press
1956
|
| Subjects: |
Similar Items
-
Introduction to metamathematics
by: Kleene, Stephen Cole, 1909-1994
Published: (1971) -
Metamathematical investigation of intuitionistic arithmetic and analysis /
Published: (1973) -
Logique, semantique, metamathematique 1923-1944
by: Tarski, Alfred
Published: (1972) -
Recursion theory for metamathematics
by: Smullyan, Raymond M.
Published: (1993) -
Introduction to Logic and to the methology of deductive sciences
by: Tarski, Alfred
Published: (1965)