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