کتاب های Walter A Carnielli

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems
Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas, 2008
Computability: computable functions, logic, and the foundations of mathematics
Richard L. Epstein, Walter A Carnielli, 2008
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Richard L. Epstein, Walter A. Carnielli, 2008
Computability: Computable Functions, Logic, and the Foundations of Mathematics
Richard L. Epstein, Walter A. Carnielli, 2008
Computability: Computable Functions, Logic, and the Foundations of Mathematics, 3rd Edition
Richard L. Epstein, Walter A. Carnielli, 2008
Computability: computable functions, logic, foundations of mathematics
Richard L. Epstein, Walter A Carnielli, 2008
Methods and Applications of Mathematical Logic: Proceedings
Walter A. Carnielli, 1988
Modalities and Multimodalities
Walter Carnielli, 2008
Paraconsistent Logic: Consistency, Contradiction and Negation
Walter Carnielli, Marcelo Esteban Coniglio (auth.), 2016
Handbook of paraconsistency
Béziau, Jean-Yves; Carnielli, Walter Alexandre; Gabbay, Dov M., 2007
Pensamento crítico: o poder da lógica e da argumentação
Walter A. Carnielli;Richard L. Epstein, 2011
Paraconsistent Logic. Consistency, Contradiction and Negation
Walter Carnielli, Marcelo Esteban Coniglio, 2016
Analysis and synthesis of logics: How to cut and paste reasoning systems
Gouveia, Paula; Coniglio, Marcelo; Sernadas, Cristina; Carnielli, Walter; Gabbay, Dov M, 2008