Showing 229 results

Archival description
Ayda Ignez Arruda Ayda Ignez Arruda English
Print preview View:
Descending

2 results with digital objects Show results with digital objects

Plano [de pesquisa]
Plano [de pesquisa]
On the relevant systems P and P* and some related systems
On the relevant systems P and P* and some related systems
Ofício IMECC/DI-062/81
Ofício IMECC/DI-062/81
Ofício GR 985/83
Ofício GR 985/83
Ofício GR 870/83
Ofício GR 870/83
Ofício C.V.47/00119
Ofício C.V.47/00119
Ofício C.V.47/00118
Ofício C.V.47/00118
Ofício C.V.47/00117
Ofício C.V.47/00117
Ofício C.V.47/00116
Ofício C.V.47/00116
Observações sobre um sistema sem a regra do modus ponens
Observações sobre um sistema sem a regra do modus ponens
Observações sobre os sistemas NFi
Observações sobre os sistemas NFi
O sistema A de Ackermann
O sistema A de Ackermann
O paradoxo de Curry-Moh Shaw-Kwei
O paradoxo de Curry-Moh Shaw-Kwei
Notas para a História da Lógica, História, e Variedades da Lógica
Notas para a História da Lógica, História, e Variedades da Lógica
Matrizes
Matrizes
Mathematical Logic in Latin America
Mathematical Logic in Latin America
Mathematical Logic in Latin America
Mathematical Logic in Latin America
Mathematical Logic
Mathematical Logic
Manifestação de docentes do IMECC
Manifestação de docentes do IMECC
Manifestação da congregação do IMECC
Manifestação da congregação do IMECC
Lógicas de conceitos inexatos
Lógicas de conceitos inexatos
Lista de professores do IMECC
Lista de professores do IMECC
Lista de exercícios de AIA
Lista de exercícios de AIA
Lista de exercícios de AIA
Lista de exercícios de AIA
Lista de exercícios de AIA
Lista de exercícios de AIA
Lista de exercícios de AIA
Lista de exercícios de AIA
Linguagem de Primeira Ordem
Linguagem de Primeira Ordem
Le schéma de la separation et les calculs Tn
Le schéma de la separation et les calculs Tn
Introduction: A Short History of the Latin American Logic Symposia
Introduction: A Short History of the Latin American Logic Symposia
Introdução: 3 – Matrizes
Introdução: 3 – Matrizes
Results 31 to 60 of 229