Saturday, February 6, 2016

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía


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: English  - 

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 de la misma colección

  1. Correction
  2. Boolean Algebras in Visser Algebras We generalize the double negation construction of Boolean algebras in Heyting algebras to a double n...
  3. Closed Normal Subgroups of the Automorphism Group of a Saturated Model of Peano Arithmetic In this paper we discuss automorphism groups of saturated models and boundedly saturated models of $...
  4. Rule-Irredundancy and the Sequent Calculus for Core Logic We explore the consequences, for logical system-building, of taking seriously (i) the aim of having ...
  5. Note on Extending Congruential Modal Logics It is observed that a consistent congruential modal logic is not guaranteed to have a consistent ext...

Valoración de los usuarios

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

Busque un recurso