Mostrando 32 resultados

Descripción archivística
N. A. Vasil'év
Imprimir vista previa Hierarchy
Card view Table view
Apontamentos
BR SPCLEARQ AIA_PIm_V_1 · Unidad documental simple · s.d.
Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Críticas de Smirnov à lógica de Vasil'év. S.l., S.d. S.ass. 1p. ms.

 Sin título
Informe de apoio
BR SPCLEARQ AIA_PIm_V_10 · Unidad documental simple · s.d.
Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Silogística de Vasil'év. S.l., S.d. S.ass. 13p. ms.

 Sin título
Publicação
BR SPCLEARQ AIA_I_102 · Unidad documental simple · 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.

 Sin título
Publicação
BR SPCLEARQ AIA_I_103 · Unidad documental simple · 1965
Parte de 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.

 Sin título
Rascunho
BR SPCLEARQ AIA_PIm_V_11 · Unidad documental simple · s.d.
Parte de Ayda Ignez Arruda

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.

 Sin título
Publicação
BR SPCLEARQ AIA_I_11 · Unidad documental simple · 1977
Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability. s.l., p. 3-24, 1977

 Sin título
Publicação
BR SPCLEARQ AIA_I_12 · Unidad documental simple · 1978-06
Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasil'év. The Journal of Symbolic Logic. s.l., v.43, n.2, p. 352-353, jun. 1978. Resumo publicado em The Journal of Symbolic Logic, v.43, n.2, p. 352-353, jun. 1978.

 Sin título
Informe de apoio
BR SPCLEARQ AIA_PIm_V_12 · Unidad documental simple · s.d.
Parte de Ayda Ignez Arruda

Estudo, em inglês, de AIA, intitulado Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic. S.l., S.d. Ass. Ayda I. Arruda. 19p. ms.

 Sin título
Informe de apoio
BR SPCLEARQ AIA_PIm_V_13 · Unidad documental simple · s.d.
Parte de Ayda Ignez Arruda

Estudo de AIA, sem título, contendo tópicos intitulados Teorias de primeira ordem de Vasil’év, Teoremas em teorias de primeira ordem de Vasil'év, Teoremas de completude e consistência, Teoria de modelos. S.l., S.d. S.ass. 34p. dat.

 Sin título
Informe de apoio
BR SPCLEARQ AIA_PIm_V_14 · Unidad documental simple · s.d.
Parte de Ayda Ignez Arruda

Estudo de AIA, sem título, sobre a silogística de Vasil'év. S.l., S.d. S.ass. 11p. ms

 Sin título