Publicidad

Publicidad

becas.universia.netBiblioteca.Net

Buscar recursos:

Buscador Google

Resource data



Ver
Marcadores Sociales

BCK and BCI logics, condensed detachment and the $2$-property.
Hindley, J. Roger
 Location: http://projecteuclid.org/euclid.ndjfl/1093634655
Notre Dame J. Formal Logic 34, no. 2 (1993), 231-250
doi:10.1305/ndjfl/1093634655

Belongs to: Project Euclid (Hosted at Cornell University Library)

Publicidad

Descargar SCORM

Este recurso ha sido solicitado 1 veces (1 veces en los últimos 30 días).

Para poder solicitar este recurso debe identificarse como usuario de la biblioteca

Users rating

No hay ninguna valoración para este recurso. Sea el primero en valorar este recurso.

Detalles del recurso

BCK and BCI logics, condensed detachment and the $2$-property.
Id. 980008
Idioma inglés
Titulo BCK and BCI logics, condensed detachment and the $2$-property.
Autor(es) Hindley, J. Roger
Location http://projecteuclid.org/euclid.ndjfl/1093634655
Notre Dame J. Formal Logic 34, no. 2 (1993), 231-250
doi:10.1305/ndjfl/1093634655
Versión 1.0
Estado Final
Tipo application/pdf
Palabras clave 03B60
Tipo de recurso Text
Tipo de Interactividad Expositivo
Nivel de Interactividad muy bajo
Audiencia Estudiante
Profesor
Autor
Estructura Atomic
Coste no
Copyright sí
Copyright 1993 Duke University Press
Formatos application/pdf
Requerimientos técnicos Browser: Any
Fecha de contribución 21-nov-2008
Contacto