Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Logic
3
Lógica
3
Algorithms
2
CURRY-HOWARD ISOMORPHISM
2
EXPRESSIVITY
2
ISOMORFISMO DE CURRY-HOWARD
2
LOGICA CUANTICA
2
QUANTUM LOGIC
2
Semantics
2
logical constants
2
paradojas
2
ALGEBRAS LIBRES
1
ANALISIS AUTOMATICO
1
AUDITED COMPUTATIONS
1
AUTOMATA
1
AUTOMATED REASONING
1
AUTOMATIC ANALYSIS
1
AXIOMATIZACION
1
AXIOMATIZATION
1
Abstracting
1
Alloy languages
1
Analytical space
1
Anselm
1
Anselmo
1
Argumento ontológico
1
Aristotelismo medieval
1
Atomic transition
1
Autopilot systems
1
BISIMULATION
1
BL-ALGEBRAS
1
-
21por Toranzo Calderón, Joaquín SantiagoMaterias: “...logical necessity...”
Publicado 2017
Artículo publishedVersion -
22por Losada, Marcelo AdriánMaterias: “...QUANTUM LOGIC...”
Publicado 2016
Tesis doctoral publishedVersion -
23
-
24por Holik, Federico HernánMaterias: “...QUANTUM LOGIC...”
Publicado 2010
Tesis doctoral publishedVersion -
25
-
26Materias: “...Formal logic...”
Artículo publishedVersion -
27por Bavera, Francisco PedroMaterias: “...JUSTIFICATION LOGIC...”
Publicado 2012
Tesis doctoral publishedVersion -
28por Salvetti, VivinaMaterias: “...Logical isomorphism...”
Publicado 2017
Artículo publishedVersion Artículo evaluado por pares -
29por di Pasquo, Federico MartínMaterias: “...LOGICAL EMPIRICISM...”
Publicado 2014
Tesis doctoral publishedVersion -
30Materias: “...Dynamic logic...”
Artículo publishedVersion