Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría :: Biblioteca :: Sistemas Lógicos :: Lógica Híbrida
*Depositado por   Maria Manzano, e-mail: mara@usal.es
*Depositado el   18-05-2012
*Título   Hybrid Type Theory, a Quartet in four Movements
*Autor   Carlos Areces, Patrick Blackburn, Antonia Huertas, María Manzano
*Fecha de creación   18-05-2012
Página Web   http://www.cfh.ufsc.br/~principi/15-2.html
*Idioma   Inglés/English
*Formato   .pdf (Adobe)
*Claves Historia de la lógica
Incompletud
Lógica híbrida
Montague
Henkin
Prior
Reichenbach
Tipo Título Archivo Opciones
Documento Artículo p152-2.pdf

     << Atras