A really simple proof of the Artin-Schreier characterization of real closed fields
Odilon Otavio Luciano Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday (2016 São Paulo)
South American Journal of Logic Campinas v. 2, n. 2, p. 361-377, 2016Campinas 2016
Acesso online. A biblioteca também possui exemplares impressos.