H. Tarski, the father of metamathematics " , " for he is the one who created metamathematics as an independent being

. Tarski, First part, p.27, 1935.

E. According, Tarski deeply influenced our global view of ALFRED TARSKI: SEMANTIC SHIFT, HEURISTIC SHIFT, 1988.

. Gödel, For an early history of the idea ? not the term ? of model in mathematics see Webb, 1986.

. Tarski, 145) (the underlining is mine), 1986.

. Tarski, the underlining is not mine, p.129, 1936.

. Tarski, (the underlining is mine) The remark is repeated in Tarski, Tarski, pp.305-311, 1939.

. Tarski, Jan Tarski found the draft of this talk in 1994 in his father's Nachlass in the Bancroft Library at Berkeley. This draft is to be published, with some editorial work, in a next issue of The Bulletin of Symbolic Logic, pp.55-693, 1944.

. Tarski, Finding an interpretation of a theory T 1 in a theory T 2 is tantamount to constructing in T 2 a model of T 1 . In other words, T 1 has an interpretation in T 2 if, once one has chosen the interpretation in T 2 of the primitive terms of T 1 , one can show that the statements obtained under this interpretation are axioms or theorems of T 2, p.57, 1939.

J. Barwise, S. Feferman, and P. Suppes, Commemorative Meeting for Alfred Tarski, pp.393-404, 1983.

E. Beth, Sur le parallélisme logico-mathématique, Les méthodes formelles en axiomatique, Colloques Internationaux du Centre National de la Recherche Scientifique, pp.27-33, 1953.

W. J. Block and D. Pigozzi, Alfred Tarski's work on general metamathematics, The Journal of Symbolic Logic, vol.I, issue.01, pp.36-50, 1988.
DOI : 10.1007/BF02123806

R. Carnap, Introduction to Semantics, 1942.

P. Duren, A Century of Mathematics in America, Part III, 1989.

J. Etchemendy, Tarski on truth and logical consequence, The Journal of Symbolic Logic, vol.53, issue.01, pp.51-79, 1988.
DOI : 10.2307/2026307

S. Feferman, Tarski and Gödel: Between the Lines, pp.53-63, 1999.

K. Gödel, Collected Works, Vols. I, II and III, 1986.

D. Hilbert, 1899, Die Grundlagen der Geometrie, 1968.

D. Hilbert, Über die Grundlagen der Logik und der Arithmetik, Verhandlungen des dritten internationalen Mathematiker-Kongresses Logique et Fondements des Mathématiques, pp.174-185, 1904.

D. Hilbert, Axiomatisches Denken, Mathematische Annalen, vol.78, issue.1-4, pp.405-415, 1918.
DOI : 10.1007/BF01457115

D. Hilbert, Neubegr??ndung der Mathematik. Erste Mitteilung, Abhandlungen aus dem Mathematischen Seminar der Universit??t Hamburg, vol.1, issue.1, pp.157-177, 1922.
DOI : 10.1007/BF02940589

D. Hilbert, Die logischen Grundlagen der Mathematik, Die logischen Grundlagen der Mathematik, pp.151-165, 1923.
DOI : 10.1007/BF01448445
URL : http://www.digizeitschriften.de/download/PPN235181684_0088/PPN235181684_0088___log11.pdf

D. Hilbert, Die Grundlegung der elementaren Zahlenlehre, Mathematische Annalen, vol.104, issue.1, pp.485-494, 1931.
DOI : 10.1007/BF01457953

J. Hintikka, On the development of the model-theoretic viewpoint in logical theory, Synthese, vol.77, issue.1, pp.1-36, 1988.
DOI : 10.1007/BF00869545

J. Hintikka, From Dedekind to Gödel, Essays on the Development of the, Foundations of Mathematics Synthese Library, vol.251, 1995.

G. Kreisel, Applications of Mathematical Logic to Various Branches of Mathematics, Actes du 2e Colloque International de Logique Mathématique Gauthier-Villars, pp.37-49, 1952.

G. Kreisel, Mathematical significance of consistency proofs, The Journal of Symbolic Logic, vol.34, issue.02, pp.155-182, 1958.
DOI : 10.1007/BF01343896

G. Kreisel, Mathematical logic: Tool and object lesson for science, Synthese, vol.62, issue.2, pp.139-151, 1985.
DOI : 10.1007/BF00486043

H. Sinaceur, Corps et Modèles Essai sur l'histoire de l'algèbre réelle An English translation is forthcoming, 1991.

H. Sinaceur, interprétation en mathématiques: de Descartes à Hilbert et Tarski', in P. Radelet de Grave et, Actes du Colloque. Les " enfants naturels " de Descartes, 1996.

A. Tarski, Remarques sur les notions fondamentales de la méthodologie des mathématiques, Annales de la Société Polonaise de Mathématique, pp.270-272, 1928.

A. Tarski, Über einige fundamentale Begriffe der Metamathematik' Comptes Rendus de la Société des Sciences et des Lettres de Varsovie , Classe III 23, repr. in Tarski, vol.I, pp.23-29, 1930.

A. Tarski, Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften I', Monatshefte für Mathematik und Physik 37, pp.361-404, 1930.
DOI : 10.1007/bf01696782

A. Tarski, Sur les ensembles définissables de nombres réels I', Fundamenta mathematicae 17 Revised text and English trans, pp.210-239, 1931.

A. Tarski, Einige methodologische Untersuchungen über die Definierbarkeit der Begriffe' Erkenntnis 5, 80?100; repr, pp.637-659, 1935.
DOI : 10.1007/bf00172286

A. Tarski, Grundzüge des Systemenkalküls I, II', Fundamenta mathematicae 25, pp.1935-1936, 1986.

A. Tarski, Der Wahrheitsbegriff in den formalisierten Sprachen', Studia Philosophica 1, repr. in Tarski, vol.II, pp.261-404, 1936.

A. Tarski, Introduction à la logique, Nauwelarts. 2 e éd. augmentée 1969. English trans.: Introduction to Logic and to the Methodology of Deductive Sciences, 1936.

A. Tarski, Grundlegung der wissenschaftlichen Semantik, Actes du Congrès International de Philosophie Scientifique, pp.1-8, 1936.

A. Tarski, Über den Begriff der logischen Folgerung, Actes du Congrès International de Philosophie Scientifique, pp.1-11, 1936.

A. Tarski, Sur la méthode déductive, Travaux du 9 e Congrès International de Philosophie, pp.323-334, 1937.

A. Tarski, On undecidable statements in enlarged systems of logic and the concept of truth, The Journal of Symbolic Logic, vol.10, issue.03, pp.105-112, 1939.
DOI : 10.2307/2266444

A. Tarski, The Completeness of Elementary Algebra and Geometry, Institut Blaise Pascal, Paris; repr. in Tarski, vol.IV, pp.289-346, 1939.

A. Tarski, The Semantic Conception of Truth: and the Foundations of Semantics, Philosophy and Phenomenological Research, vol.4, issue.3, pp.341-376, 1944.
DOI : 10.2307/2102968

A. Tarski, Lecture at the Princeton Bicentennial Conference on the Problems of Mathematics The Bulletin of Symbolic Logic, 1946.

A. Tarski, A Decision Method for Elementary Algebra and Geometry, prepared for publication by, repr. in Tarski, vol.III, pp.297-368, 1948.

A. Tarski, Some Notions and Methods on the Borderline of Algebra and Metamathematics, Proceedings of the International Congress of Mathematicians, pp.705-720, 1950.

A. Tarski, Undecidable Theories (co-written with Mostowski and R, 1953.

A. Tarski, Papers from 1923 to 1938, trans, 1956.

A. Tarski, What are logical notions?, History and Philosophy of Logic, vol.1, issue.2, pp.143-154, 1986.
DOI : 10.1038/scientificamerican0669-63

A. Tarski, Some Current Problems in Metamathematics', History and Philosophy of Logic 16, pp.159-168, 1995.

R. L. Vaught, Model theory before 1945, pp.153-172, 1974.
DOI : 10.1090/pspum/025/0472457

H. Wang, K. Gödel, and B. Book, Reflections, 1988.
URL : https://hal.archives-ouvertes.fr/hal-01347364

J. Webb, Tracking Contradictions in Geometry: The Idea of a Model from Kant to Hilbert, Hintikka, pp.1-20, 1995.
DOI : 10.1007/978-94-015-8478-4_1

J. Wole´nskiwole´nski, Logic and Philosophy in the Lvov, Warsaw School Synthese Library, vol.198, 1989.

J. Wole´nskiwole´nski, On Tarski's Background, Hintikka, pp.331-342, 1995.

J. Wole´nskiwole´nski, Semantic Revolution, pp.1-15, 1999.

J. Wole´nskiwole´nski and E. Köhler, Alfred Tarski and the Vienna Circle. Austro-Polish Connections in Logical Empirism, 1999.