Novedades Ayuda Acceso institucional

Buscar recursos académicos

Encontrá libros, artículos, revistas, tesis y otros recursos académicos. Buscá, elegí el resultado correcto y accedé al contenido.

Búsqueda avanzada
Qué reúne NODOVOX Discovery: catálogos institucionales, recursos electrónicos, revistas de acceso abierto, colecciones disponibles y enlaces de consulta académica.
medicina forense derecho revistas Open Access texto completo

Resultados

1 resultados encontrados.

Tipos de recurso: Libro electrónico Artículo Revista Tesis Capítulo
Búsqueda académica
Sobre la representación de S4.3
Tesis
Acceso abierto Tesis SEDICI UNLP
Sobre la representación de S4.3
Bonelli, Eduardo et al · SEDICI UNLP · 1996
En 1935 Gerhard Gentzen introdujo un formalismo sintáctico para representar lógicas llamado Cálculo de Secuentes. El mismo es adecuado para analizar propiedades de la lógica, facilita un conocimiento más profundo de...
Idioma es
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Disponible en línea Ficha bibliográfica