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

Mostrando 1729 resultados

Descripción archivística

Imprimir vista previa Ver :

Ordenar por:

Dirección:

324 resultados con objetos digitales Muestra los resultados con objetos digitales

BR SPCLEARQ CLMB-SF-IT03
Unidad documental simple

Parte deLuiz Muniz Barreto

Visita a ?.

Sin título

BR SPCLEARQ CLMB-SF-IT09
Unidad documental simple

Parte deLuiz Muniz Barreto

Foto do grupo na escadaria do [Observat?rio Nacional]

Sin título

BR SPCLEARQ CLMB-SF-IT17
Unidad documental simple

Parte deLuiz Muniz Barreto

[Luiz Muniz Barreto],?,?,? no alpendre do {Observat?rio Nacional].

Sin título

Semântica para D1

BR SPCLEARQ FAIA-PIm-EL-IT419
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.

Sin título

Seminários de planejamento e mão de obra

BR SPCLEARQ MMD-U-I-SPMO

Parte deMichel Maurice Debrun

Silogismos Não-Aristotélicos

BR SPCLEARQ FAIA-PIm-A-IT365
Unidad documental simple

Parte deAyda Ignez Arruda

Artigo de AIA intitulado Silogismos Não-Aristotélicos. S.l., S.d. S.ass. 17p. dat. cópia.

Sin título

BR SPCLEARQ FAIA-PIm-EL-IT420
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms.

Sin título

Sistemas Formais Inconsistentes e Teoria dos Conjuntos

BR SPCLEARQ FAIA-Impr-IT481
Unidad documental simple

Parte deAyda Ignez Arruda

ARRUDA, Ayda Ignez. Sistemas Formais Inconsistentes e Teoria dos Conjuntos. s.l., p. 18-25, s.d.

Sin título

Sistemas formais inconsistentes e teorias de conjuntos

BR SPCLEARQ FAIA-PIm-EL-IT421
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Sistemas formais inconsistentes e teorias de conjuntos. S.l., S.d. S.ass. 5p. ms.

Sin título

Sobre a regra do Modus Ponens

BR SPCLEARQ FAIA-PIm-EL-IT422
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms.

Sin título

Sobre A Teoria dos Tipos

Sobre A Teoria dos Tipos

BR SPCLEARQ FAIA-PIm-A-IT366
Unidad documental simple

Parte deAyda Ignez Arruda

Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.

Sin título

Sobre Certos Sistemas de Lógica Relevante

BR SPCLEARQ FAIA-PIm-EL-IT423
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Sobre Certos Sistemas de Lógica Relevante. S.l., S.d. S.ass. 11p. ms.

Sin título

Sobre Cidadania e Deveres Políticos

BR SPCLEARQ CJCVM-PIm-IT203
Unidad documental simple

Parte deJosé Carlos Valladão de Mattos

Sin título

Sobre o Sistema G1 de Gentzen

BR SPCLEARQ FAIA-PIm-EL-IT424
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.

Sin título

Sobre os Juízos Particulares/O Triângulo das Oposições e a Lei do Quarto Excluído

BR SPCLEARQ FAIA-PItm-IT462
Unidad documental simple

Parte deAyda Ignez Arruda

Tradução do artigo de N.A. Vasil'év, intitulado Sobre os Juízos Particulares; O Triângulo das Oposições e a Lei do Quarto Excluído. S.l., S.d. S.ass. 45p. dat.

Sin título

Sole axioms for partially ordered sets

BR SPCLEARQ FAIA-Impr-IT522
Unidad documental simple
1979

Parte deAyda Ignez Arruda

CLAY, Robert E. Sole axioms for partially ordered sets. Logique et Analyse, p.361-374, 1979.

Sin título

Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics

BR SPCLEARQ FAIA-Impr-IT483
Unidad documental simple
1977

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics. Mathematical Logic: Proceedings of the First Brazilian Conference, Nova Iorque, p. 9-29, 1977.

Sin título

Some remarks on Griss Logic of Negationless Intuitionistic Mathematics

BR SPCLEARQ FAIA-Impr-IT482
Unidad documental simple
1977-08

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Some remarks on Griss Logic of Negationless Intuitionistic Mathematics. Campinas: Unicamp, ago. 1977. 21 p. (Relatório Interno nº 58, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Sin título

Some remarks on the logic of vagueness

BR SPCLEARQ FAIA-Impr-IT494
Unidad documental simple

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; ALVES, Elias H. Some remarks on the logic of vagueness. s.l., p. 133 ? 138, s.d.

Sin título

BR SPCLEARQ FMTT-FB-IT27
Unidad documental simple

Parte deMario Tourasse Teixeira

Sin título

Spatially resolved observation of carrier leakage

BR SPCLEARQ CJCVM-I-IT234
Unidad documental simple
1984-03

Parte deJosé Carlos Valladão de Mattos

Spatially resolved observation of carrier leakage in 1.3-?m In1 – xGax Asy P1 – y lasers. Appl. Phys. Lett. , 1 March 1984. v. 44, n. 5, 1984, p. 520-522.

Sin título

Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities

BR SPCLEARQ FAIA-PItm-IT442
Unidad documental simple
[1978-1980]

Parte deAyda Ignez Arruda

Artigo, em inglês, de Newton C. A. da Costa e Robert G. Wolf, intitulado Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities. S.l., [1978-1980]. S.ass. 19p. dat.

Sin título

Su una interpretazione algebricio-categoriale del silogismo

BR SPCLEARQ FAIA-Impr-IT532
Unidad documental simple
1978

Parte deAyda Ignez Arruda

FREGUGLIA, Paolo. Su una interpretazione algebricio-categoriale del silogismo. Archimede, s.l., n.1-2, p.30-41, 1978.

Sin título

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-Impr-IT486
Unidad documental simple
1967-11-20

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 265, p. 641-644, 20 nov. 1967

Sin título

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-Impr-IT488
Unidad documental simple
1968-04-29

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 897-900, 29 abr. 1968.

Sin título

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-Impr-IT487
Unidad documental simple
1968-01-08

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 37-39, 8 jan. 1968.

Sin título

Sur certains algèbres de classes non classiques

BR SPCLEARQ FAIA-Impr-IT484
Unidad documental simple
1969-03-31

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur certains algèbres de classes non classiques. C.R. Acad. Sc. Paris, t.268, p. 677-680, 31 mar. 1969

Sin título

Sur certains hiérarchies de calculs de prédicats

BR SPCLEARQ FAIA-Impr-IT485
Unidad documental simple
1969-03-24

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur certains hiérarchies de calculs de prédicats. C.R. Acad. Sc. Paris, t.268, p. 629-632, 24 mar. 1969.

Sin título

Sur l’ensemble R dans NFw

BR SPCLEARQ FAIA-PIm-EL-IT425
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo, em francês, de AIA intitulado Sur l’ensemble R dans NFw. S.l., S.d. S.ass. 16p. ms.

Sin título

Sur la Théorie des Sytèmes Formels Inconsistants

BR SPCLEARQ FAIA-PIm-A-IT367
Unidad documental simple

Parte deAyda Ignez Arruda

Artigo, em francês, de AIA, intitulado Sur la Théorie des Sytèmes Formels Inconsistants. IMECC, S.d., S.ass. 13p. dat. cópia.

Sin título

Resultados 1561 a 1590 de 1729

« Previa
1
...
50
51
52
53
54
55
56
...
58
Siguiente »