"Automatic proofs for theorems on predicate calculus"

[Walter Carnielli]

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: walter.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli
CV Lattes : http://lattes.cnpq.br/1055555496835379