Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
LOGICA
CLASSICAL LOGIC
2
CONSTRUCTIVE LOGIC
2
CURRY-HOWARD
2
KRIPKE SEMANTICS
2
LOGIC
2
LOGICA CLASICA
2
LOGICA CONSTRUCTIVA
2
PROPOSICIONES COMO TIPOS
2
PROPOSITION AS TYPES
2
SEMANTICA DE KRIPKE
2
CALCULO DE PROPOSICIONES
1
CALCULO DE RELACIONES
1
CONECTIVAS
1
LOGICA DEONTICA
1
LOGICA SIMBOLICA Y MATEMATICA
1
METODOLOGIA DE LA CIENCIA
1
PROPOSICION
1
SEMIOTICA
1
-
1por Echave, DeliaMaterias: “...Proposicion...”
Publicado 1983
Aportado por: Bibliotecas (UNCuyo)Libro -
2por Gianella de Salama, AliciaMaterias: “...CALCULO DE PROPOSICIONES...”
Publicado 1986
Aportado por: Biblioteca UNPSJBLibro -
3
-
4por Freund, TeodoroMaterias: “...PROPOSICIONES COMO TIPOS...”
Publicado 2021
Tesis de grado publishedVersion