Leram - Pensar a Lógica. Uma Introdução Técnica e Teórica à Filosofia da Lógica e da Linguagem