Showing 269 results

Archival description
Ayda Ignez Arruda
Print preview View:
Ascending

7 results with digital objects Show results with digital objects

Some remarks on the logic of vagueness
Some remarks on the logic of vagueness
Sur l’ensemble R dans NFw
Sur l’ensemble R dans NFw
Sur le schèma de la sèparation
Sur le schèma de la sèparation
Sur un Théorème de Hilbert et Bernays
Sur un Théorème de Hilbert et Bernays
Sur une hiérarchies de systèmes formels
Sur une hiérarchies de systèmes formels
Telex de AIA
Telex de AIA
Telex de AIA
Telex de AIA
Telex de AIA ao professor Richard Routley
Telex de AIA ao professor Richard Routley
Telex de Carlos Di Prisco para AIA
Telex de Carlos Di Prisco para AIA
Telex de Carlos Di Prisco para AIA
Telex de Carlos Di Prisco para AIA
Teorema da Dedução para Teorias de Primeira Ordem
Teorema da Dedução para Teorias de Primeira Ordem
Teorema de Completude para teorias de primeira ordem
Teorema de Completude para teorias de primeira ordem
Teoria de Conjuntos R e cálculos diversos
Teoria de Conjuntos R e cálculos diversos
Termo de outorga
Termo de outorga
Termo de outorga
Termo de outorga
Termo de outorga e aceitação
Termo de outorga e aceitação
Transformadas no Cálculo Restrito de Predicados
Transformadas no Cálculo Restrito de Predicados
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Une sémantique pour le calcul C1=. C.R
Une sémantique pour le calcul C1=. C.R
Unidade de opostos
Unidade de opostos
Várias axiomáticas para o cálculo proposicional clássico
Várias axiomáticas para o cálculo proposicional clássico
Carta de Ayda Ignez Arruda
Carta de Ayda Ignez Arruda
Fotografia
Fotografia
Fotografia
Fotografia
Carta de Ayda Ignez Arruda
Carta de Ayda Ignez Arruda
Carta de Ayda Ignez Arruda
Carta de Ayda Ignez Arruda
Carta de Ayda Ignez Arruda
Carta de Ayda Ignez Arruda
Carta de Leopoldo Nachbin
Carta de Leopoldo Nachbin
Fotografia
Fotografia
Results 241 to 269 of 269