As concepções lógicas de N.A. Vasil’év
- BR SPCLEARQ FAIA-PItm-IT455
- Item
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
10 resultados com objetos digitais Exibir resultados com objetos digitais
As concepções lógicas de N.A. Vasil’év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Rehabilitating Meinong’s Theory of Objects
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Arruda-da Costa P Systems And Adjacent Non-Replacement Systems
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Projeto Sistemas de Bibliotecas da Unicam
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Une étude sémantique de quelques calculs propositionnels
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Tradução do artigo de Jean Leray
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Generalization of some results of Elie Sanchez
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Teorias Recursivas, Creativas y Productivas
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Gödel’s collected works (A.S.L. Project)
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Tradução do artigo de Jean Dieudonné
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Une sémantique pour le calcul C1
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo contendo vários teoremas
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo contendo demonstrações de vários teoremas
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Teoria de Conjuntos R e cálculos diversos
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo sobre a regra do modus ponens
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Caderno contendo anotações sobre lógicas relevante
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudos contendo tópicos sobre axiomas
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudos analisando vários aspectos da lógica
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Notas para a História da Lógica, História, e Variedades da Lógica
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Teorema de Completude para teorias de primeira ordem
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Teorema da Dedução para Teorias de Primeira Ordem
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda