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 - 

Id.: 980563

Idioma: inglés  - 

Versión: 1.0

Estado: Final

Tipo:  application/pdf - 

Palabras clave03A05 - 

Tipo de recurso: Text  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: Copyright 1980 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 21, no. 1 (1980), 45-50
* doi:10.1305/ndjfl/1093882938

Otros recursos de la misma colección

  1. Restriction by Noncontraction This paper investigates how naive theories of truth fare with respect to a set of extremely plausibl...
  2. Semantic Completeness of First-Order Theories in Constructive Reverse Mathematics We introduce a general notion of semantic structure for first-order theories, covering a variety of ...
  3. Non-Fregean Propositional Logic with Quantifiers We study the non-Fregean propositional logic with propositional quantifiers, denoted by $\mathsf{SCI...
  4. A Syntactic Approach to Unification in Transitive Reflexive Modal Logics This paper contains a proof-theoretic account of unification in transitive reflexive modal logics, w...
  5. A Lifting Argument for the Generalized Grigorieff Forcing In this short paper, we describe another class of forcing notions which preserve measurability of a ...

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.