Newton da Costa
Brazilian Academy of Philosophy and Dept of Philosophy, Federal University of Santa Catarina, Florianopólis, Brazil
Logic and Truth: Gödel, Tarski and the Foundations of Logic

Arthur Buchsbaum
Dept of Computation, Federal University of Santa Catarina, Florianopólis, Brazil
Foundations of Injection and Surjection for Set Theory