Textbook (in Portuguese)

"Lógica e aplicações:  Matemática, Ciência da Computação e Filosofia"

W.A. Carnielli , M.E. Coniglio  and  R. Bianconi

Preliminary version  - Chapters 1 to 5

(click here to download)