Walter Carnielli

This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (February 2012) (Learn how and when to remove this message)

Walter Alexandre Carnielli (born 11 January 1952 in Campinas, Brazil) is a Brazilian mathematician, logician, and philosopher, who works as a full professor of Logic at the State University of Campinas. After obtaining his Bachelor and M.Sc. degrees in mathematics at the State University of Campinas, he also obtained his Ph.D. in 1984 there under the supervision of Newton da Costa; subsequently, he worked as a post-doc at the University of California at Berkeley, following an invitation by Leon Henkin.