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)