- BR SPCLEARQ FAIA-Impr-IT542
- Item
- 1973.
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
5 resultados com objetos digitais Exibir resultados com objetos digitais
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Rascunho Sobre os cálculos de predicados de Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Questioni di categoricita delle teorie matematiche
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Proposta de Regimento Interno do IMECC
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Propositional calculus for contradctory deductive systems
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Projeto Sistemas de Bibliotecas da Unicam
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Programa, lista de gastos e outras informações
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Programa, lista de gastos e outras informações
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Programa Simpósio Latino-Americano de Lógica Matemática
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Proceedings of the Third Brazilian Conference on Mathematical Logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Problemi di decisione per algebre comesse a logiche a più valori
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Paraconsistent extensional propositional logics
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the relevant systems P and P* and some related systems
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the principle of contradiction in Aristotle
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the Postulate of Separation
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the Imaginary Logic of N.A. Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On the concept of formalization and partially ordered quantifiers
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On structural completeness of some nonclassical predicate calculi
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On sequential modifications of applied predicate calculi
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
On Griss propositional calculus
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Ofício n. 172/81-IM de Annibal Parracho Sant’Anna
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda