Logic, semantics, metamathematics : papers from 1923 to 1938 / by Alfred Tarski. papers from 1923 to 1938 /
Saved in:
Main Author: | Tarski, Alfred, 1901-1983 |
---|---|
Format: | Book |
Language: | English |
Published: |
Clarendon,
1956
|
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Introduction to logic and to the methodology of deductive sciences / by Alfred Tarski.
by: Tarski, Alfred, 1901-1983
Published: (1965) -
Introduction to metamathematics / by S.C. Kleene.
by: Kleene, S. C.
Published: (1952) -
Metamathematics, machines, and Gödel's proof / N. Shankar.
by: Shankar, N.
Published: (1997) -
The theory of models : proceedings of the 1963 International Symposium at Berkeley / edited by J.W. Addison, Leon Henkin [and] Alfred Tarski.
Published: (1965) -
Metamathematical investigation of intuitionistic arithmetic and analysis A.S. Troelstra (editor).
by: Troelstra, A. S. (Anne Sjerp)
Published: (1973)