ARRUDA, Ayda Ignez; COSTA, Newton Carneiro Affonso da. Une sémantique pour le calcul C1=. C.R. Acad. Sc. Paris, Paris, t. 284, p. 279 – 281, 31 jan. 1977.

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando. Introduction: A Short History of the Latin American Logic Symposia. s.n.t.

CARRUCCIO, Ettore. Mondo Possibili Leibniziani e strutture alla luce della logica matematica. Filosofia-Metodologia-Didatica, p.203-21. s.d.

DEMAREE, Daniel B. The set of quantifiers of an atomic Boolean algebra. Mathematisch Centrum, Amsterdam, 4p. set. 1970.

PALADINO, Dario. Questioni di categoricita delle teorie matematiche. Archimede, v.28, n.1, p.21-34, 1976.

PATZIG, G. Aristotle, Lukasiewicz and the Origins of Many-Valued Logic. In: SUPPES, Patrick (Ed.). Logic, Methodology and Philosophy of Science IV, Amsterdam: North-Holland Publishing Company, 1973. p.921-929.

SMIRNOV, V.A. Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii. Izdatel'stvo MGU, p.242-257, 1962. Resenha de: COMEY, David Dinsmore. The Journal of Symbolic Logic, s.l., v.30, n.3, p.368-70, 1965.

Resenha intitulada "Publicações", sobre o livro "Caminhos e Fronteiras". Folha de Minas.

Anotações do livro "Quadro Chrorográfico de Mato Grosso" de Estevão de Mendonça sobre a epidemia de varíola no Forte do Príncipe da Beira, em 1814. Cuiabá, Escolas Profissionais Salesianas, 1906. p. 12.(cm/SBH) (frag.)

Anotações sobre a queda da monarquia, citando a época de 1868, com comentários a respeito das lavouras de café e algodão; as influências sofridas pela abolição e sobre o Duque de Saldanha. s.l.d. (cm/SBH)