Walter Carnielli

Walter Carnielli is Professor of Philosophy of Logic and Foundations of Mathematics at the State University of Campinas. His publications include books on computability theory, modal logics, paraconsistent logics and combinations of logics.