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.: 980329

Idioma: inglés  - 

Versión: 1.0

Estado: Final

Tipo:  application/pdf - 

Palabras clave03B10 - 

Tipo de recurso: Text  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: Copyright 1982 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 23, no. 4 (1982), 358-366
* doi:10.1305/ndjfl/1093870148

Otros recursos que te pueden interesar

  1. Adding Decision Procedures to SMT Solvers using Axioms with Triggers accepted for publication

Otros recursos de la mismacolección

  1. Ekman’s Paradox Prawitz observed that Russell’s paradox in naive set theory yields a derivation of absurdity whose r...
  2. Forking and Dividing in Henson Graphs For $n\geq3$ , define $T_{n}$ to be the theory of the generic $K_{n}$ -free graph, where $K_{n}$ is ...
  3. Grades of Discrimination: Indiscernibility, Symmetry, and Relativity There are several relations which may fall short of genuine identity, but which behave like identity...
  4. New Degree Spectra of Abelian Groups We show that for every computable ordinal of the form $\beta=\delta+2n+1\gt 1$ , where $\delta$ is z...
  5. Prospects for a Naive Theory of Classes The naive theory of properties states that for every condition there is a property instantiated by e...

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.