sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:0000000115879124 | 1 hits
Person
ISNI: 
0000 0001 1587 9124
Name: 
Carnielli, W.
Carnielli, Walder A.
Carnielli, Walter
Carnielli, Walter A.
Carnielli, Walter Alexandre
Walter Carnielli
Walter Carnielli (brasiliansk matematikar)
Walter Carnielli (brasiliansk matematiker)
Walter Carnielli (Brazilian logician)
Walter Carnielli (wiskundige uit Brazilië)
Dates: 
1952-
Creation class: 
Computer file
cre
Language material
Text
Creation role: 
author
contributor
editor
redactor
translator
Related names: 
Alcantara, Luiz Paulo de (1944-...)
Bueno-Soler, Juliana
Coniglio, Marcelo E. (1963-...)
D'Ottaviano, Itala M.L. (1944-)
D'Ottaviano, Itala Maria Loffredo (1944-....))
Epstein, Richard L.
Epstein, Richard L. (co-author)
Gabbay, Dov M.
Magnani, Lorenzo (co-author)
Pizzi, Claudio (1944-....))
Pizzi, Claudio (co-author)
Quine, Willard Van Orman (co-author)
Sociedade Brasileira de Lógica
Sociedade brasileira de matemática
Titles: 
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
Computability, 1989, c1988:
Computability computable functions, logic and the foundations of mathematics
Handbook of paraconsistency
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
Multi-valued logics
Paraconsistency the logical way to the inconsistent proceedings of the world congress held in São Paulo
Pensamento crítico O poder da lógica e da argumentaçao
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
Notes: 
Sources: 
VIAF DNB LC NLP NUKAT SUDOC WKD
BOWKER
NTA
TEL