Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría   :: Biblioteca :: Fundamentos :: Teoría de la Demostración
*Depositado por   Maria Manzano, e-mail: mara@usal.es
*Depositado el   28-07-2005
*Título   Introducción a la teoría de los sistemas deductivos
*Autor   Huberto Marraud
Editorial   Summa Logicae XXI
*Fecha de creación   25-05-1999
Página Web  
Código  
*Idioma   Español/Spanish
*Formato   .pdf (Adobe)
*Claves Cálculo
Gentzen
Interpolacion
Robinson
Tipo Título Archivo Opciones
Indice Índice INDICE.pdf
Capitulo Capítulo 1 cap1R.pdf
Libro Capítulo 2 CAP2R.pdf
Capitulo Capítulo 3 CAP3R.pdf
Capitulo Capítulo 4 CAP4R.pdf
Capitulo Capítulo 5 CAP5.pdf
Capitulo Capítulo 6 CAP6.pdf
Capitulo Capítulo 7 CAP7.pdf
Seccion Bibliografía BIBLIOGRAFiA.pdf
Libro Libro completo: Introducción a la teoría de los sistemas deductivos IntroTeoriaSistDeductivos.pdf

     << Atras