- BR SPCLEARQ FAIA-Impr-IT562
- Item
- 1964-02
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
19 resultados com objetos digitais Exibir resultados com objetos digitais
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Logical matrices strongly adequate for structural setential calculi
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Les logiques nouvelles et le champ de leur application
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Produção Intelectual Manuscrita
Parte de Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Parte de Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Cálculos Proposicionais, de Predicados e Matrizes
Parte de Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Sistemas Cn, Cw e Relacionados
Parte de Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Produção Intelectual de Terceiros Manuscrita
Parte de Ayda Ignez Arruda
Une sémantique pour le calcul C1
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Parte de Ayda Ignez Arruda