Description: State University of Campinas, Brazil - Foundations of non-classical logics, many-valued logics, paraconsistent logics, finite and infinite combinatorics.
Open forum for all scientific topics! Excellent source of information to study. This forum is place to talk with interesting people