Information object browse - Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência

The set of quantifiers of an atomic Boolean algebra

BR SPCLEARQ FAIA-Impr-IT528
Item
1970-09

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Logique sans igalité et (k,p)-quasivalence

BR SPCLEARQ FAIA-Impr-IT548
Item
1976

Parte de Ayda Ignez Arruda

MANSOUX, Alain. Logique sans igalité et (k,p)-quasivalence. C.R. Acad. Sc. Paris, Paris, t.283, p.137-140, 1976.

Ayda Ignez Arruda

Lukasiewicz and the Origins of Many-Valued Logic

BR SPCLEARQ FAIA-Impr-IT552
Item
1973

Parte de Ayda Ignez Arruda

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.

Ayda Ignez Arruda

Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii

BR SPCLEARQ FAIA-Impr-IT567
Item
1962

Parte de Ayda Ignez Arruda

SMIRNOV, V.A. Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii. Moskva, p.242-257, 1962.

Ayda Ignez Arruda

Carta de J.C. Kuipers para AIA

BR SPCLEARQ FAIA-C-Cp-IT283
Item
1982-04-23

Parte de Ayda Ignez Arruda

Carta, em inglês, de J.C. Kuipers para AIA, indagando sobre possível interesse da D. Reidel Publishing Company em publicar o livro ?Paraconsistent Logic?. Dordrecht, 23 abr. 1982. Ass.: J.C. Kuipers. 1p. dat.

Ayda Ignez Arruda

Carta de J.C. Kuipers para AIA

BR SPCLEARQ FAIA-C-Cp-IT286
Item
1983-11-22

Parte de Ayda Ignez Arruda

Carta, em inglês, de J.C. Kuipers para AIA, solicitando maiores informações sobre o livro ?The Logical Views of N. A. Vasil?ev?. Dordrecht, 22 nov. 1983. Ass.: J.C. Kuipers. 1p. dat.

Ayda Ignez Arruda

La mathématique classiques dans Nfw