Ofício IMECC/DI/n.070/81 de Antonio Conde
- BR SPCLEARQ FAIA-C-Ct-IT338
- Item
- ? - 1981-11-17
Part of Ayda Ignez Arruda
Untitled
19 results with digital objects Show results with digital objects
Ofício IMECC/DI/n.070/81 de Antonio Conde
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Carta de Antonio Diego para Carlos E. Meyer
Part of Ayda Ignez Arruda
Untitled
Carta de George Glauberman a Said Sidki
Part of Ayda Ignez Arruda
Untitled
Carta de John T. Baldwin a Said Sidki
Part of Ayda Ignez Arruda
Untitled
Ofício n. 117/76-M de Martha Maria Mischan
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Ofício GR-015/80 de Plínio Alves de Moraes
Part of Ayda Ignez Arruda
Untitled
Carta de Roman Sikorski para Universidad Nacional del Sur
Part of Ayda Ignez Arruda
Untitled
Ofício IMECC/SP-906/79 de Ubiratan D’Ambrósio
Part of Ayda Ignez Arruda
Untitled
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Part of Ayda Ignez Arruda
Untitled
Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes
Part of Ayda Ignez Arruda
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Resumo do trabalho “N.A. Vasilév: a Forerunner of Paraconsistent Logic”
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"
Part of Ayda Ignez Arruda
Untitled
Estudo de AIA Desenvolvimento de C1
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Decidibilidade do cálculo implicativo clássico
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Várias axiomáticas para o cálculo proposicional clássico
Part of Ayda Ignez Arruda
Untitled
Artigo cálculos proposicionais
Part of Ayda Ignez Arruda
Untitled
Observações sobre um sistema sem a regra do modus ponens
Part of Ayda Ignez Arruda
Untitled
Relevance Logic and the Schema of Separation
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Part of Ayda Ignez Arruda
Untitled
Sistemas formais inconsistentes e teorias de conjuntos
Part of Ayda Ignez Arruda
Untitled
Sobre Certos Sistemas de Lógica Relevante
Part of Ayda Ignez Arruda
Untitled
Teorema de Completude para teorias de primeira ordem
Part of Ayda Ignez Arruda
Untitled