Information object browse - Historical Archives - Centre for Logic, Epistemology and History of Science

BR SPCLEARQ FAIA-Impr-IT545
Unidad documental simple
1982-06

LAZARI, Henrique. Comutadores em Variedades de Mal'cev. jun. 1982. 61 p. Dissertação (Mestrado em Matemática) - Instituto de Matemática, Estatística e Ciência da Computação; Universidade Estadual de Campinas. cópia.

Sin título

La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Göde

BR SPCLEARQ FAIA-Impr-IT544
Unidad documental simple

Parte deAyda Ignez Arruda

LARGEAULT, Jean. La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Gödel, p.56-79.

Sin título

Vasil’év and the development of Many-valued logic

BR SPCLEARQ FAIA-Impr-IT543
Unidad documental simple
1965

Parte deAyda Ignez Arruda

KLINE, George L. N.A. Vasil’év and the development of Many-valued logic. Contribuitions to Logic and Methodology, in honor to J.M. Bochenski, Amsterdam, p.315-326, 1965

Sin título

Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem

BR SPCLEARQ FAIA-Impr-IT542
Unidad documental simple
1973.

Parte deAyda Ignez Arruda

JEROSLOW, R.G. Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem. Journal of Symbolic Logic, v.38, n.3, p.359-367, 1973.

Sin título

Propositional calculus for contradctory deductive systems

BR SPCLEARQ FAIA-Impr-IT541
Unidad documental simple
1969

Parte deAyda Ignez Arruda

JASKOWSKI, Stanislaw. Propositional calculus for contradctory deductive systems. Studia Logica, t. XXIV, p.143-157, 1969.

Sin título

International Congress on Logical Mathematic and Philosophy of Science

BR SPCLEARQ FAIA-Impr-IT540
Unidad documental simple
1982

Parte deAyda Ignez Arruda

INTERNATIONAL Congress on Logical Mathematic and Philosophy of Science., 7, 11-16 jul. 1983. Cartaz. Salzburg, Austria: 1982. 1p.

Sin título

International Congress of Logic, Methodology and Philosophy of Science

BR SPCLEARQ FAIA-Impr-IT539
Unidad documental simple
1974-12

Parte deAyda Ignez Arruda

INTERNATIONAL Congress of Logic, Methodology and Philosophy of Science, 5, 27 ago. - 2 set. 1975, London, Ontario, Canada. Bulletin n° 2. London: University of Western Ontario, dez. 1974. 18p.

Sin título

Catálogo de Pós-graduação: 2° semestre

BR SPCLEARQ FAIA-Impr-IT538
Unidad documental simple
1971

Parte deAyda Ignez Arruda

IMECC - UNICAMP. Catálogo de Pós-graduação: 2° semestre. Campinas: Unicamp, 1971. 41p.

Sin título

Catálogo de Pós-graduação: 1° semestre

BR SPCLEARQ FAIA-Impr-IT537
Unidad documental simple
1971

Parte deAyda Ignez Arruda

IMECC - UNICAMP. Catálogo de Pós-graduação: 1° semestre. Campinas: Unicamp, 1971. 34p.

Sin título

Catálogo do curso de Pós-Graduação em Lógica e Filosofia da Ciência

BR SPCLEARQ FAIA-Impr-IT536
Unidad documental simple

Parte deAyda Ignez Arruda

IFCH-UNICAMP; CLE-UNICAMP. Catálogo do curso de Pós-Graduação em Lógica e Filosofia da Ciência. Campinas: Unicamp, s.d., 27p.

Sin título

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

BR SPCLEARQ FAIA-Impr-IT535
Unidad documental simple
1964-10

Parte deAyda Ignez Arruda

HENKIN, Leon A. A Lógica e a Matemática são idênticas? Boletim da Sociedade Paranaense de Matemática. [Curitiba], v. 7, n. 3, p. 2-15, out. 1964.

Sin título

Logic of negationless intuitionistics mathematics

BR SPCLEARQ FAIA-Impr-IT534
Unidad documental simple
1951

Parte deAyda Ignez Arruda

GRISS, G.F.C. Logic of negationless intuitionistics mathematics. Proc. Kon. Ned. Akad. v. Wetensch, p.41-49, 1951.

Sin título

Incompleteness and truth definition

BR SPCLEARQ FAIA-Impr-IT533
Unidad documental simple
1971

Parte deAyda Ignez Arruda

GERMANO, G. Incompleteness and truth definition. Theoria, s.l., n.37, p.86-90, 1971.

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

L’ipotese del Continuo

BR SPCLEARQ FAIA-Impr-IT531
Unidad documental simple
1977

Parte deAyda Ignez Arruda

FESTA, Giuseppe. L’ipotese del Continuo. Archimede, s.l., p.11-20, 1977.

Sin título

How I created the theory of relativity

BR SPCLEARQ FAIA-Impr-IT530
Unidad documental simple
1982-08

Parte deAyda Ignez Arruda

EINSTEIN, Albert. How I created the theory of relativity. Physics Today, s.l., p.45-47, ago. 1982.

Sin título

On structural completeness of some nonclassical predicate calculi

BR SPCLEARQ FAIA-Impr-IT529
Unidad documental simple
1975

Parte deAyda Ignez Arruda

DZIK, Wojciech. On structural completeness of some nonclassical predicate calculi. Reports on Mathematical Logic, s.l., v.5, p.19-26, 1975.

Sin título

The set of quantifiers of an atomic Boolean algebra

BR SPCLEARQ FAIA-Impr-IT528
Unidad documental simple
1970-09

Parte deAyda Ignez Arruda

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

Sin título

Boolean Powers in algebric logic

BR SPCLEARQ FAIA-Impr-IT527
Unidad documental simple
1971

Parte deAyda Ignez Arruda

DAIGNEAULT, Aubert. Boolean Powers in algebric logic. Zeitschrift für mathematische logik und grundlagen der mathematik, s.l., v.17, p.411-420, 1971.

Sin título

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-Impr-IT526
Unidad documental simple
1976-06

Parte deAyda Ignez Arruda

COSTA, Newton C.A. da; ALVES, Elias H. Une sémantique pour le calcul C1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, jul. 1976.

Sin título

Remarques sur le système NF1

BR SPCLEARQ FAIA-Impr-IT525
Unidad documental simple
1971-05

Parte deAyda Ignez Arruda

COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.

Sin título

Calculs de descriptions pour les systèmes formels inconsistants

BR SPCLEARQ FAIA-Impr-IT524
Unidad documental simple
1964

Parte deAyda Ignez Arruda

COSTA, Newton C.A. da. Calculs de descriptions pour les systèmes formels inconsistants. C.R. Acad. Sc. Paris, Paris, t.258, p.1366-68, 1964.

Sin título

Un calcul des applications

BR SPCLEARQ FAIA-Impr-IT523
Unidad documental simple
1971

Parte deAyda Ignez Arruda

CLIMESCU, Al. Un calcul des applications. Buletinul Institutului Politelinic Din Iasi, s.l., v.17, n.3-4, p.1-5, 1971.

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

Measures of centrality and complexity for partial propositional calculi

BR SPCLEARQ FAIA-Impr-IT521
Unidad documental simple
1972

Parte deAyda Ignez Arruda

CHAPIN Jr., E. William. Measures of centrality and complexity for partial propositional calculi. Arch. Match. Logik, v.15, p. 7-18, 1972.

Sin título

Leibniziani e strutture alla luce della logica matematica

BR SPCLEARQ FAIA-Impr-IT520
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Wroctaw: Polish Academy of Sciences

BR SPCLEARQ FAIA-Impr-IT519
Unidad documental simple
1979-10

Parte deAyda Ignez Arruda

BULLETIN of the Section of Logic. Wroctaw: Polish Academy of Sciences - Institute of Philosophy and Sociology, v. 8, nº 3, p. 119 ? 168, out. 1979.

Sin título

Proceedings of the Third Brazilian Conference on Mathematical Logic

BR SPCLEARQ FAIA-Impr-IT518
Unidad documental simple
1980

Parte deAyda Ignez Arruda

BRAZILIAN Conference on Mathematical Logic, 3, 1979. Recife. Proceedings of the Third Brazilian Conference on Mathematical Logic. São Paulo: Sociedade Brasileira de Lógica, 1980. 1p

Sin título

Boletim Informativo