Titre A Decision Method for Elementary Algebra and Geometry Nom Tarski, Alfred Editeur U.S. Aire Force Project RAND, R-109 Url http://perso.univ-rennes1.fr/marie-francoise.roy/Tarski51.pdf

Type Volume Tomaison Pages Annee Article 1948