Carnielli, Walter Alexandre, 1952-....
Carnielli, Walter Alexandre.
Carnielli, Walter A. (Walter Alexandre)
Carnielli, Walter A.
Walter Carnielli
Carnielli, Walter A. (Walter Alexandre), 1952-
VIAF ID: 5009512 ( Personal )
Permalink: http://viaf.org/viaf/5009512
Preferred Forms
- 200 _ | ‡a Carnielli ‡b Walter Alexandre ‡f 1952-....
-
- 100 1 _ ‡a Carnielli, Walter A. ‡q (Walter Alexandre)
- 100 1 0 ‡a Carnielli, Walter A. ‡q (Walter Alexandre)
-
-
-
-
-
- 100 1 _ ‡a Carnielli, Walter Alexandre ‡d 1952-
- 100 1 _ ‡a Carnielli, Walter Alexandre ‡d 1952-
- 100 1 _ ‡a Carnielli, Walter Alexandre ‡d 1952-
-
-
- 100 1 _ ‡a Carnielli, Walter Alexandre, ‡d 1952-....
-
- 100 0 _ ‡a Walter Carnielli
4xx's: Alternate Name Forms (18)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil | |
[Alfred Tarski - recenzja] | |
Analysis and synthesis of logics : how to cut and paste reasoning systems | |
Computabilidade, funções computáveis, lógica e os fundamentos da matemática | |
Computability, 1989, c1988: | |
Computability computable functions, logic and the foundations of mathematics | |
Dual tableaux : foundations, methodology, case studies | |
[Mathematics and art - recenzja] | |
Methods and applications of mathematical logic proceedings of the VII Latin american symposium on mathematical logic held July 29-August 2, 1985 | |
Modalities and multimodalities | |
Model-based reasoning in science and technology : abduction, logic, and computational discovery | |
Modulated logics and flexible reasoning | |
Multi-valued logics | |
Paraconsistency the logical way to the inconsistent proceedings of the world congress held in São Paulo | |
Paraconsistent logic : consistency, contradiction and negation | |
[Parafrasi schröderiane, ovvero Le operazioni del calcolo logico - recenzja] | |
Pensamento crítico : O poder da lógica e da argumentação | |
Proceedings of CombLog' 04 : workshop on combination of logics: theory and applications, Lisbon, July 28-30, 2004 | |
Propositional logics | |
Sentido da nova lógica | |
significance of the new logic | |
The single-minded pursuit of consistency and its weakness | |
with Computability and undecidability-a timeline... |