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