Mostrando 1943 resultados

Descrição arquivística
Visualizar impressão Visualizar:

Publicação

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

Publicação

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.

Ayda Ignez Arruda

Publicação

Artigo de AIA intitulado Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes, analisando cálculos proposicionais denominados P e P*. S.l., S.d. S.ass. 11p. dat.

Ayda Ignez Arruda

Publicação

Artigo de AIA, intitulado Observações sobre o conjunto de Russell. IMECC, S.d. S.ass. 5p. dat.

Ayda Ignez Arruda

Publicação

Artigo, em francês, de AIA e Newton C. A. da Costa, intitulado Une sémantique pour le calcul C1=. S.l., S.d. S.ass. 4p. dat. cópia.

Ayda Ignez Arruda

Publicação

Artigo, em inglês, de AIA intitulado N.A. Vasilév: a forerunner of Paraconsistent Logic. [Unicamp, 1982] S.ass. 26p. dat.

Ayda Ignez Arruda

Rascunho

Rascunho de AIA contendo uma lista de dúvidas e observações relacionadas ao processo de intervenção na Unicamp.

Ayda Ignez Arruda

Rascunho

Rascunho de JCR anotando data de publicação de portaria ministerial. S.l. S.d. S.ass. 1p. (ms.) 

Rascunho

Rascunho de AIA contendo ementa para exame de transferência da discplina MA-561

Ayda Ignez Arruda

Rascunho

Rascunho de AIA, intitulado Sobre os cálculos de predicados de Vasil'év, contendo vários cálculos relacionados. S.l., S.d. S.ass. 5p. ms.

Ayda Ignez Arruda

Exibindo 831-840 de 1943 resultados