Publications - Books

• Pensamento crítico: o poder da lógica e da argumentação. W.A.Carnielli, R.L. Epstein. Ed.Rideel, São Paulo, 2009. ISBN: 978853391298-4
  
  
• Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems. Applied Logic Series,  Springer February 2008. W.A. Carnielli, M.E. Coniglio, D. M. Gabbay, P. Gouveia  and  C. Sernadas. Applied Logic Series,  Springer February 2008. ISBN-10: 140206781X / ISBN-13: 978-1402067815


• Computabilidade Funções Computáveis Lógica e os Fundamentos da Matemática. W.A. Carnielli, R.L. Epstein. Editora da UNESP, São Paulo, 2006. ISBN: 8571396507
  


• Paraconsistency: The Logical Way to the Inconsistent. Proceedings of the II World Congress on Paraconsistency (WCP'2000). W.A. Carnielli, M.E. Coniglio and I.M.L. D'Ottaviano (Eds.). Marcel Dekker Inc., New York, 2002. ISBN: 0824708059. (Google books)
  
  
• Modalità e multimodalità. W.A. Carnielli  and C. Pizzi. Franco Angeli, Milan, 2001.ISBN:  88-464-3102-2
  
  
• Computability: computable functions, logic and the foundations of mathematics, with the timeline Computability and Undecidability. Second edition. Wadsworth/Thomson Learning, Belmont, CA, 2000. 
  

• Advances in Contemporary Logic and Computer Science American Mathematical Society, Series Contemporary Mathematics, Volume 235, 1999 (editor, with  Itala M.L. D'Ottaviano). (Google books)
  
 

• Logic, sets and information - Proceedings of the Tenth Brazilian Conference on Mathematical Logic, Coleção CLE, 1995 (editor, with L.C.P.D. Pereira).

(Collaborator, second edition) The semantic foundations of logic. Propositional logics. Richard L. Epstein, with the assistance and collaboration of Walter A. Carnielli, Itala M.L. D'Ottaviano, Stanislaw Krajewski and Roger D. Maddux. Second edition. The Clarendon Press, Oxford University Press, New York, 1995.

• (Collaborator) The semantic foundations of logic. Vol. 1. Propositional logics. Richard L. Epstein, with the collaboration of Walter A. Carnielli, Itala M.L. D'Ottaviano, Stanislaw Krajewski and Roger D. Maddux. Nijhoff International Philosophy Series, 35. Kluwer Academic Publishers Group, Dordrecht, 1990.
  

• Computability: computable functions, logic and the foundations of mathematics. The Brooks/Cole Mathematics Series, Wadsworth & Brooks/Cole Advanced Books & Software, Pacific Grove, CA, 1989. (Reviews)

• Methods and applications of mathematical logic. Proceedings of the VII Latin-American Symp. on Math. Logic, Contemporary Mathematics 69, American Mathematical Society, Providence, RI, 1988 (editor, with L.P. de Alcantara).