Carnielli, Walter A.
Enlarge text Shrink text
Information for Authority record
Sources of Information
- Latin-Amer. Sym. on Math. Logic (7th : 1985 : State Univ. of Campinas). Methods and appl. of math. logic, c1988:CIP t.p. (Walter A. Carnielli) introd. (Walter Alexandre Carnielli, Institute of Math., Statistics, and Computer Science, State Univ. of Campinas)
- Epstein, R.L. Computability, 1989, c1988:CIP t.p. (Walter A. Carnielli) data sheet (b. 1/11/52)
1 / 2
Wikipedia description:
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.
Read more on Wikipedia >