Inicio  |  Simple  |  Avanzada  |  Autores  |  Temas  |  Ayuda  |  
 


 Sobre la Biblioteca
 Horarios
 Servicios
 Bases de Datos y Repositorio Digital
 Acervo Salaverry

Ficha bibliografica

Código: 511.3 A61 [Universidad Católica San Pablo]
Ubicación:Planta baja estanteria cerrada
Autor Personal:Anónimo
TítuloLógica
Ciudad: [Lugar de publicación no identificado]
Editorial: [Editor no identificado]
Año: [Fecha de publicación no identificada]
Descripción:243 páginas; 21 cm.
Notas:F.I. 10/10/2003
Palabras Claves:MATEMÁTICAS;
Términos Locales:Lógica matemática;
Encabezados Geográficos:

Código: 511.3 A61 [Universidad Católica San Pablo]
100:Anónimo
245Lógica
260:[Lugar de publicación no identificado]: [Editor no identificado]: [Fecha de publicación no identificada]:
300:243 páginas; 21 cm.
500:F.I. 10/10/2003
650:MATEMÁTICAS
653Lógica matemática

Anónimo. Lógica. -- . --[Lugar de publicación no identificado]: [Editor no identificado]: [Fecha de publicación no identificada]. # Ingreso:U0013157

   243 páginas; 21 cm..

- Cálculo de enunciados informal - Cálculo de enunciados formal - Cálculo de predicados informal - Cálculo de predicados formal - Sistemas matemáticos - El teorema de incompletitud de Godel - Computabilidad, insolubilidad, indecidibilidad

Número Ingreso Código Base de Datos Ubicación Tipo # Ej. Status Devolución Reserva
U0013157 511.3 A61  Universidad Católica San Pablo Planta baja estanteria cerrada Original 1Disponible  

Obras RelacionadasObras del mismo Autor
w
  Sistema Asterik 2014 - V.3.0