Browsing by Advisor Lungarzo, Carlos Alberto, 1942-

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:  
Showing results 1 to 9 of 9
PreviewIssue DateTitleAuthor(s)AdvisorType
1992Problemas de uma semantica para a logica intuicionista de primeira ordemMolina, Jorge AlbertoLungarzo, Carlos Alberto, 1942-TESE
1998O metodo de dedução natural aplicado as logicas proposicionais paraconsistentes CnCastro, Milton Augustinis deLungarzo, Carlos Alberto, 1942-DISSERTAÇÃO
1995Os processos de alteração de um projeto cientifico : mudanças internas de um modelo linguisticoFerreira, Claudia UrbanoLungarzo, Carlos Alberto, 1942-; Lungarzo, Carlos A.DISSERTAÇÃO
1995Uma abordagem da logica gramatical e da anafora pronominalMaia, Edson CamposLungarzo, Carlos Alberto, 1942-; Lungarzo, Carlos A.DISSERTAÇÃO
1994Tese de Church : algumas questões historico-conceituaisErtola Biraben, Rodolfo Cristian, 1954-Lungarzo, Carlos Alberto, 1942-DISSERTAÇÃO
1995Dos fundamentos a filosofia da aritmetica : (uma interpretação do Programa de Hilbert)Lassale Casanave, AbelLungarzo, Carlos Alberto, 1942-TESE
1989Teorias formais & informais : a noção de prova e os teoremas de incompletude de GodelBusatto Neto, RenatoLungarzo, Carlos Alberto, 1942-DISSERTAÇÃO
1989Semantica nominativa e logicas modaisGuerzoni, Jose Alexandre Durry, 1958-Lungarzo, Carlos Alberto, 1942-TESE
1991Razão, computação e sistemas formaisSanz, Wagner de CamposLungarzo, Carlos Alberto, 1942-DISSERTAÇÃO
Showing results 1 to 9 of 9