Walter Carnielli

|local_nascimento =Campinas |data_morte = |local_morte = |causa_morte = |pais_de_residencia = |nacionalidade = |etnicidade = |campo =matemática |instituicao_trabalho= |alma_mater = |tese =1982: Sobre O Método Dos Tableaux Em Lógicas Polivalentes Finitárias |orientador =Newton da Costa |orientado = |conhecido_por = |influenciado = |premio = |conjuge = |religiao = |assinatura = |notas = }} Walter Alexandre Carnielli (Campinas, 11 de janeiro de 1952) é um matemático, lógico e filósofo brasileiro.

É professor de lógica na Universidade Estadual de Campinas, onde foi bacharel mestre e doutor, em 1984, orientado por Newton da Costa. Pós-doutorado na Universidade da Califórnia em Berkeley, convidado por Leon Henkin.

Fornecido pela Wikipedia