LOGICA E ARITMETICA

este livro é uma indicação informal á logica e á aritmética (formais), refletindo as preferências e as experiencias pessoais do autor. São também abordadas questões de filosofia e fundamentos de matemática. A maior parte dos assuntos escolhidos e o grau de aprofundamento são adequados a um primeiro contacto com as coisas logicas, ao nível da formação de professores do ensino secundário ou do primeiro ano de licenciatura em Matemática, Informática, Engenharia ou Letras (Filosofia), ou até leitor autodidata. O destaque desta edição revista e aumentada vai para as novas secções (opcionais) mais afins dos tópicos usuais de logica computacional. Exercícios propostos e resolvidos complementam o texto, e a biografia foi atualizada.
O livro trata essencialmente aquela parte da logica clássica que analisa as proposições e sistematiza o raciocínio, apresentada sob os pontos de vista semânticos e dedutivo (através de sistemas de dedução natural e de tableaux, caracterizados pela grande facilidade de manipulação). Os resultados matemáticos mais importantes são enunciados, todavia são tratados mais levemente do que seria natural num livro avançado de lógica matemática, chamando-se á atenção para a sua importância filosófica e para os fundamentos.