  In the first half of the twentieth century, several Mexican philosophers, themselves not analytic philosophers strictly speaking, introduced a series of formal tools, texts, and themes of analytic philosophy in the country. The first book of philosophy and history of science in Spanish was published by Juan David García Bacca in 1936. More analytic works followed as a book on logical positivism and the Vienna Circle was published in 1941 by Antonio Caso, and Ayer and Carnap’s works were translated by his student, Nicolás Molina Flores, who was also the first Mexican to argue in favor of logical empiricism. Eduardo García Maynez, a philosopher of law, introduced the tools of mathematical logic in his work. In 1953 he published Los principios de la ontología formal del derecho y su expresión simbólica, one of the first philosophical works expressed in formal symbols in  Mexico.[20] There are, however, two notable differences from how analytic philosophy developed in Argentina. García Maynez only made superficial use of logical  tools[21] and left no  students[22] so his works had no echo in later developments in Mexico and had no impact outside of the country. However, he achieved an important institutional legacy as he and others advocated for the creation of the Centro de Estudios Filosóficos, which later became the IIF-UNAM. While García Maynez was its head, the Centro incorporated full time researchers and created the journal Dianoia in 1955. During this period philosophical discussions and publications in Spanish were encouraged.