Logica Formal: Origens e Aplicacoes

Este livro uma introdu o hist ria da L gica (Parte I), utiliza o simb lica da L gica na Matem tica (Parte II) e suas aplica es em pesquisa, na linguagem e na ci ncia da computa o. Nas palavras do reitor da Universidade Federal da Bahia, Jo o Carlos Salles (atual Reitor da UFBA e autor do pref cio), "A possibilidade de demonstrar o que demonstr vel apresentada nesse livro com maestria e prazer. Talvez n o seja mero acaso a imagem inicial de sua apresenta o, uma imagem culin ria, pr pria de algu m capaz de reunir e utilizar os mais diversos ingredientes, produ-zindo, ao fim e ao cabo, manjares e ambrosias. Quem teve o privil gio de ser aluno da Profa. Arlete Cerqueira Lima n o se surpreender ent o. O livro est atravessado pelo mesmo brilho no olhar, o mesmo encantamento e sofistica o que caracterizam suas aulas. E sentir a mesma motiva o de uma professora que nos acompa-nha em nossas manipula es simb licas e malabarismos conceituais, disciplinando ou libertando adequadamente nossa imagina o l gica. Em suma, um livro de especial interesse para leitores que, como aprendizes ou sobretudo como docentes, desejam dar continuidade e aprofundar estudos de l gica."