1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario registrado en Universia


Opción 1: Descargar recurso

Detalles del recurso

Descripción

Pertenece a

Project Euclid (Hosted at Cornell University Library)  

Autor(es)

Hugly, Philip -  Sayward, Charles - 

Id.: 980516

Idioma: inglés  - 

Versión: 1.0

Estado: Final

Tipo:  application/pdf - 

Palabras clave03B20 - 

Tipo de recurso: Text  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: Copyright 1979 University of Notre Dame

Formatos:  application/pdf - 

Requerimientos técnicos:  Browser: Any - 

Relación: [References] 0029-4527
[References] 1939-0726

Fecha de contribución: 23-sep-2011

Contacto:

Localización:
* Notre Dame J. Formal Logic 20, no. 3 (1979), 595-598
* doi:10.1305/ndjfl/1093882664

Otros recursos de la mismacolección

  1. Bimodal Logics with a “Weakly Connected” Component without the Finite Model Property There are two known general results on the finite model property (fmp) of commutators $[L_{0},L_{1}]...
  2. On Polynomial-Time Relation Reducibility We study the notion of polynomial-time relation reducibility among computable equivalence relations....
  3. Infinite Computations with Random Oracles We consider the following problem for various infinite-time machines. If a real is computable relati...
  4. Why Intuitionistic Relevant Logic Cannot Be a Core Logic At the end of the 1980s, Tennant invented a logical system that he called “intuitionistic relevant l...
  5. Dunn–Priest Quotients of Many-Valued Structures J. Michael Dunn’s Theorem in 3-Valued Model Theory and Graham Priest’s Collapsing Lemma provide the ...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.