Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Computabilidade, funções computáveis, lógica e os fundamentos da matemáticaWalter Carnielli Richard L EpsteinSão Paulo Editora da UNESP 2005Localização: ICMC - Inst. Ciên. Mat. Computação (68Q20.05 C289co e.1 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Reconciling first-order logic to algebraWalter Alexandre Carnielli Hugo Luiz Mariano; Mariana MatulovicCarnielli Walter; Malinowski, Jacek, ed Contradictions, from consistency to inconsistency Cham : Springer, 2018Cham Springer 2018Localização: IME - Inst. Matemática e Estatística (PROD-2974223 )(Acessar) |
|
3 |
Material Type: Relatório Técnico
|
Paraconsistent algebrasWalter A. Carnielli (Walter Alexandre), 1952- Luis Paulo de AlcantaraSão Paulo IME-USP 1981Localização: IME - Inst. Matemática e Estatística (IME-RT-M QA9.8.RT I59 1981 v.21 e.2 )(Acessar) |
|
4 |
Material Type: Tese de Doutorado
|
Combinação de algoritmos de segmentação de imagens por operadores de agregaçãoDenise Guliato João Antonio Zuffo 1939-; Walter Alexandre Carnielli1998Localização: EPBC - Esc. Politécnica-Bib Central (FT-1175 ) e outros locais(Acessar) |
|
5 |
Material Type: Relatório Técnico
|
Transfinite induction on ordinal configurationsWalter A Carnielli Luiz Paulo de AlcantaraSão Paulo IME-USP 1980Localização: IME - Inst. Matemática e Estatística (IME-RT-M QA12.RT I59 1980 v.3 e.2 )(Acessar) |
|
6 |
Material Type: Livro
|
Computability computable functions, logic, and the foundations of mathematicsRichard L. Epstein Walter A Carnielli (Walter Alexandre)Pacific Grove, Calif. Wadsworth & Brooks/Cole Advanced Books & Software c1989Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (511.3 E64c ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Computability computable functions, logic, and the foundations of mathematicsRichard L. Epstein Walter A Carnielli (Walter Alexandre)Socorro, New Mexico Advanced Reasoning Forum c2008Localização: IME - Inst. Matemática e Estatística (QA810.25 E64c 3.ed. )(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
Minimal axiomatizations and algebraic rings a conjectured relationshipWalter Alexandre Carnielli Marcelo Finger; Latin American Symposium on Mathematical Logic - SLALM (14. 2008 Paraty, Brasil)Bulletin of Symbolic Logic New York v. 14, n. 3, p. 349, 2009New York Cambridge University Press 2009Localização: IME - Inst. Matemática e Estatística (PROD-2974675 )(Acessar) |
|
9 |
Material Type: Livro
|
Logic without frontiers festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthdayJean-Yves Béziau; Marcelo Esteban Coniglio; Walter Alexandre CarnielliLondon King's College Publications c2011Localização: IME - Inst. Matemática e Estatística (QA9.C3 B574L )(Acessar) |
|
10 |
Material Type: Tese de Doutorado
|
Logics of formal inconsistencyAlmeida, João Marcos De Universidade Estadual de Campinas (Unicamp); Carnielli, Walter Alexandre, 1952-; Caleiro, Carlos M. C. L; Caleiro, Carlos M. C. L.; Krause, Decio; Sautter, Frank T.; Rasga, João F. Q. S.; Coniglio, Marcelo Esteban; Finger, Marcelo; Universidade Estadual De Campinas. Instituto De Filosofia E Ciências Humanas; Universidade Tecnica De Lisboa. Instituto Superior Tecnico; Universidade Estadual De Campinashttps://repositorio.unicamp.br/acervo/detalhe/334172[s.n.] 2005Acesso online. A biblioteca também possui exemplares impressos. |