- BR SPCLEARQ FAIA-Impr-IT562
- Item
- 1964-02
Part of Ayda Ignez Arruda
SIERPINSKI, Waclaw. Escola matemática polonesa. Boletim da Sociedade Paranaense de Matemática. Curitiba, v. 7, n. 1, p. 1-16, fev. 1964.
Untitled
Showing 407 results
Archival description19 results with digital objects Show results with digital objects
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
- BR SPCLEARQ FAIA-Impr-IT567
- Item
- 1962
Part of 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.
Untitled
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
- BR SPCLEARQ FAIA-Impr-IT568
- Item
- 1965
Part of Ayda Ignez Arruda
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.
Untitled
Logical matrices strongly adequate for structural setential calculi
- BR SPCLEARQ FAIA-Impr-IT569
- Item
- 1969
Part of Ayda Ignez Arruda
WÓJCICK, R. Logical matrices strongly adequate for structural setential calculi. Bulletin del?Académie Polonaise des sciences, v.18, n.6, p.333-335, 1969.
Untitled
Les logiques nouvelles et le champ de leur application
- BR SPCLEARQ FAIA-Impr-IT570
- Item
- 1932
Part of Ayda Ignez Arruda
ZAWIRSKI, Sigismond. Les logiques nouvelles et le champ de leur application. Revue de Métaphyisique et de Morale, vol.39, p.503-519, 1932.
Untitled
Produção Intelectual Manuscrita
- BR SPCLEARQ FAIA-PIm
- Series
Part of Ayda Ignez Arruda
- BR SPCLEARQ FAIA-PIm-A
- Subseries
Part of Ayda Ignez Arruda
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
- BR SPCLEARQ FAIA-PIm-A-IT361-IT361
- Item
Part of Ayda Ignez Arruda
- BR SPCLEARQ FAIA-PIm-A-IT366
- Item
Part of Ayda Ignez Arruda
Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.
Untitled
Cálculos Proposicionais, de Predicados e Matrizes
- BR SPCLEARQ FAIA-PIm-CP
- Subseries
Part of Ayda Ignez Arruda
- BR SPCLEARQ FAIA-PIm-EL
- Subseries
Part of Ayda Ignez Arruda
Sistemas Cn, Cw e Relacionados
- BR SPCLEARQ FAIA-PIm-SC
- Subseries
Part of Ayda Ignez Arruda
- BR SPCLEARQ FAIA-PIm-V
- Subseries
Part of Ayda Ignez Arruda
Produção Intelectual de Terceiros Manuscrita
- BR SPCLEARQ FAIA-PItm
- Series
Part of Ayda Ignez Arruda
Une sémantique pour le calcul C1
- BR SPCLEARQ FAIA-PItm-IT441
- Item
- [1974-1976]
Part of Ayda Ignez Arruda
Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.
Untitled
- Item
Part of Ayda Ignez Arruda
- Item
Part of Ayda Ignez Arruda
Results 391 to 407 of 407