Los símbolos de la lógica matemática / Robert Feys y Frederic B. Fitch
Por: Feys, Robert
.
Colaborador(es): Fitch, Frederic B. (Frederic Brenton) | Rosique Puerta, Guillermo [Traducción].
Tipo de material: 
TextoSeries Lógica y Teoría de la Ciencia. Pie de imprenta: Madrid : Paraninfo , 1980Edición: Primera edición.Descripción: 189 páginas 22 cm.ISBN: 8428310297.Tema(s): Cálculo | Lógica simbólica y matemática | Funciones (Matemáticas)Clasificación CDD: 511.3 / F44
Contenidos:
Preliminares
1. Cálculo proposicional
2. El cálculo funcional de primer orden
3. Cálculos funcionales de orden superior, la teoría de tipos
4. Lógica combinatoria
5. Cálculo de clases
6. Cálculo de relaciones
7. La aritmética formalizada como disciplina independiente
8. Los números según se definen en sistemas de lógica
9. Metamatemática
Índices
| Tipo de ítem | Ubicación actual | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|
Libro
|
Ingeniería Civil | 511.3 F44 | 1 | Disponible | 072400000428 | 072400000428 | ||
|
Libro
|
Ingeniería Civil | 511.3 F44 | 2 | Disponible | 072400000429 | 072400000429 |
Total de reservas: 0
Preliminares
1. Cálculo proposicional
2. El cálculo funcional de primer orden
3. Cálculos funcionales de orden superior, la teoría de tipos
4. Lógica combinatoria
5. Cálculo de clases
6. Cálculo de relaciones
7. La aritmética formalizada como disciplina independiente
8. Los números según se definen en sistemas de lógica
9. Metamatemática
Índices
No hay comentarios para este ejemplar.