Skip navigation
Castellano
Inglés
Castellano
Navegar
Comunidades
Autor
Asesor
Título
Materias
Materias OCDE
Fecha Publicación
Tipo de acceso
Tipo de trabajo de investigación
Nivel académico
Programa académico
Código de programa académico
Institucion
Tipo de documento
Sobre Renati
Normativas
Manual de búsqueda y exportación
Errores comunes de recolección
Restricción de archivos en DSpace
Ingreso de trabajos en espacios virtuales
Preguntas frecuentes
Ayuda
Ingresar
Administradores
Indicadores
Reportes
Recolector
Noticias
Búsqueda avanzada
Página de inicio
Buscar por Palabras clave Secuente
Ir a:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
O introducir las primeras letras:
Ordenar por:
Título
Fecha de publicación
Fecha de envío
En orden:
Ascendente
Descendente
Resultados por página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autor/Registro:
Todo
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 1 a 1 de 1
info:eu-repo/semantics/bachelorThesis
Interpretación categórica para el cálculo de secuentes de la lógica intuicionista
Aira Ceferino, Félix Daniel
Asesorado por
Broncano Torres, Juan Carlos
25-ene-2021
Universidad Nacional José Faustino Sánchez Carrión
Lógica intuicionista
;
Funtores
;
Lógica
;
Secuente
;
Teoría de categorías
