Código: | 511.3 A61 [Universidad Católica San Pablo] | Ubicación: | Planta baja estanteria cerrada | Autor Personal: | Anónimo | Título | Ló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 | 245 | Ló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 | 653 | Ló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 | 1 | Disponible |
|
|
|