Historical Archives - Centre for Logic, Epistemology and History of Science - Unicamp

Showing 704 results

Archival description

Print preview View:

Sort by:

Direction:

16 results with digital objects Show results with digital objects

A survey of Paraconsistent Logic

BR SPCLEARQ FAIA-Impr-IT467
Item

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. A survey of Paraconsistent Logic. Campinas: Unicamp, s.d. 48 p. (Relatório Interno nº 106, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas.)

Untitled

A semantical study of some of vagueness logic

BR SPCLEARQ FAIA-Impr-IT493
Item

Part of Ayda Ignez Arruda

ARRUDA, Ayda I.; ALVES, Elias H. A semantical study of some of vagueness logic. s.l., p. 139 ? 145, s.d.

Untitled

A partial comparison of two conditions on the intersections of regressive sets

BR SPCLEARQ FAIA-Impr-IT549
Item
1977

Part of Ayda Ignez Arruda

McLAUGHLIN, Von T.G. A partial comparison of two conditions on the intersections of regressive sets. Arch. Math. Logik, v.18, p.159-167, 1977.

Untitled

A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias

BR SPCLEARQ FAIA-PIm-EL-IT437
Item
1974-12-05 - 1975-12-09

Part of Ayda Ignez Arruda

Estudo de AIA, sem título, contendo partes intituladas A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias. S.l., 5 dez. 1974 - 09 dez. 1975. S.ass. 30p. ms.

Untitled

A Lógica e a Matemática são idênticas?