Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría   :: Biblioteca :: Sistemas Lógicos :: Lógica de Orden Superior
*Depositado por   Maria Manzano, e-mail: mara@usal.es
*Depositado el   28-07-2005
*Título   Reader: Extensions of First Order Logic
*Autor   María Manzano y Antonia Huertas
Editorial   Summa Logicae USAL
*Fecha de creación   03-05-2005
Página Web  
Código   84-7800-627-3
*Idioma   Inglés/English
*Formato   .pdf (Adobe)
*Claves Correspondencia
Lógica dinámica
Lógica de orden superior
Lógica multivariada
Tipo Título Archivo Opciones
Libro Reader: Extensions of First Order Logic ExtensionsOfFOL.pdf

     << Atras