Publicidad

Publicidad


becas.universia.netBiblioteca.Net

Entrada usuarios



Indenumerability and substitutional quantification.

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
  Descargar recurso

Detalles del recurso

Pertenece a: Project Euclid (Hosted at Cornell University Library)  

Descripción:

Autor(es): Hugly, Philip -  Sayward, Charles - 

Id.: 980329

Idioma: inglés  - 

Versión: 1.0

Estado: Final

Tipo:  application/pdf - 

Palabras clave:  03B10 - 

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:

Otros recursos del mismo autor(es)

  1. The Sayward family, being the history and genealogy of Henry Sayward of York, Maine, and his descendants : with a brief account of other Saywards who settled in America Henry Sayward came to Massachusetts from England in 1637. He lived in Hampton and Portsmouth, New H...
  2. Completeness theorems for two propositional logics in which identity diverges from mutual entailment.
  3. Reflections on an extensionality theorem.
  4. A semantical account of the vicious circle principle.
  5. Do we need quantification?

Otros recursos de la misma colección

  1. Primitive Recursion and the Chain Antichain Principle Let the chain antichain principle (CAC) be the statement that each partial order on $\mathbb{N}$ pos...
  2. A General Characterization of the Variable-Sharing Property by Means of Logical Matrices As is well known, the variable-sharing property (vsp) is, according to Anderson and Belnap, a necess...
  3. Weak Theories of Concatenation and Arithmetic We define a new theory of concatenation WTC which is much weaker than Grzegorczyk's well-known theor...
  4. Definable Operators on Hilbert Spaces Let H be an infinite-dimensional (real or complex) Hilbert space, viewed as a metric structure in it...
  5. A Note on Induction, Abstraction, and Dedekind-Finiteness The purpose of this note is to present a simplification of the system of arithmetical axioms given i...

Valoración de los usuarios

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