Se você acha que demonstrações matemáticas são um bicho de sete cabeças, este livro foi feito para você. O prof. Dr. José Carlos Magossi (Unicamp) desmistifica a lógica clássica — do cálculo proposicional ao de predicados — unindo rigor acadêmico, linguagem acessível e exemplos do dia a dia.
Uma leitura indispensável para estudantes de Computação, Engenharia, Filosofia e para quem busca afiar o raciocínio lógico.