Author:
Rasga João,Sernadas Cristina
Publisher
Springer International Publishing
Reference15 articles.
1. J. Doner, W. Hodges, Alfred Tarski and decidable theories. J. Symb. Log. 53(1), 20–35 (1988)
2. A. Tarski, A Decision Method for Elementary Algebra and Geometry, 2nd edn. (University of California Press, 1951)
3. A. Tarski, Logic, Semantics, Metamathematics, 2nd edn, (Hackett Publishing Company, 1983). Papers from 1923 to 1938
4. H.N. Gupta, Contributions to the Axiomatic Foundations of Geometry. ProQuest LLC, 1965. PhD Thesis, University of California at Berkeley
5. A. Tarski, S. Givant, Tarski’s system of geometry. Bull. Symb. Log. 5(2), 175–214 (1999)