Este livro e uma introducao a historia da Logica (Parte I), a utilizacao simbolica da Logica na Matematica (Parte II) e suas aplicacoes em pesquisa, na linguagem e na ciencia da computacao. Nas palavras do reitor da Universidade Federal da Bahia, Joao Carlos Salles (atual Reitor da UFBA e autor do prefacio), "A possibilidade de demonstrar o que e demonstravel e apresentada nesse livro com maestria e prazer. Talvez nao seja mero acaso a imagem inicial de sua apresentacao, uma imagem culinaria, propria de alguem capaz de reunir e utilizar os mais diversos ingredientes, produ-zindo, ao fim e ao...