Colegas: alguém conhece (ou melhor ainda, tem acesso a ) este texto?
"Automatic proofs for theorems on predicate calculus" (Monographs in computer science and computer applications) autora Sueli Mendes dos Santos), Pontificia Universidade Católica do Rio de Janeiro, 1972 É recomendável? Obrigado por antecedência, Walter -- ----------------------------------------------- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil http://www.cambridge.org/br/academic/subjects/philosophy/twentieth-century-philosophy/significance-new-logic?format=HB&isbn=9781107179028 Institutional e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli CV Lattes : http://lattes.cnpq.br/1055555496835379 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58MbpNr6garYgzW4RZgkC9EC_Tj2fzS%3DKdFSuc%3DzYFsK3A%40mail.gmail.com.
