Mostrando 597 resultados

Descrição arquivística
Ayda Ignez Arruda Inglês
Visualizar impressão Visualizar:
Crescente

5 resultados com objetos digitais Exibir resultados com objetos digitais

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
Teorias Recursivas, Creativas y Productivas
Teorias Recursivas, Creativas y Productivas
The Paradox of Russell in the Systems Nfn
The Paradox of Russell in the Systems Nfn
The set of quantifiers of an atomic Boolean algebra
The set of quantifiers of an atomic Boolean algebra
Tradução do artigo de Jean Dieudonné
Tradução do artigo de Jean Dieudonné
Tradução do artigo de Jean Leray
Tradução do artigo de Jean Leray
Transformadas no Cálculo Restrito de Predicados
Transformadas no Cálculo Restrito de Predicados
Trecho de reportagem O Diário de Piracicaba
Trecho de reportagem O Diário de Piracicaba
Um currículo para a formação do professor de matemática do ensino secundário
Um currículo para a formação do professor de matemática do ensino secundário
Uma Questão de Lógica
Uma Questão de Lógica
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
Un calcul des applications
Un calcul des applications
Un principio di riflessione nella teoria delle classi
Un principio di riflessione nella teoria delle classi
Une étude sémantique de quelques calculs propositionnels
Une étude sémantique de quelques calculs propositionnels
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1
Une sémantique pour le calcul C1=
Une sémantique pour le calcul C1=
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
Vasil’év and the development of Many-valued logic
Vasil’év and the development of Many-valued logic
Vibre com o roteiro turístico da vida, trabalho e do amor
Vibre com o roteiro turístico da vida, trabalho e do amor
Vistos e parecer do juiz referente ao processo n. 126/82
Vistos e parecer do juiz referente ao processo n. 126/82
Wroctaw: Polish Academy of Sciences
Wroctaw: Polish Academy of Sciences
Fotografias
Fotografias
Exibindo 571-597 de 597 resultados