Los símbolos de la lógica matemática Robert Feys y Frederic B. Fitch ; traducido por Guillermo Rosique Puerta
Tipo de material: TextoIdioma: Español Lenguaje original: Inglés Series Lógica y teoría de la cienciaDetalles de publicación: Madrid Paraninfo 1980Edición: 1a edDescripción: 192 p. il., gráficas, cuadrosISBN:- 0720422507 (ed. holandesa)
- 8428310297 (ed. española)
- 511.3 F397s 23
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|
Libro Colección General | Central Bogotá Sala General | Colección General | 511.3 F397s (Navegar estantería(Abre debajo)) | 1 | Disponible | 0000000024534 |
Incluye índice
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 define en sistemas de lógica ; 9. Matemáticas
La versión actual es el resultado de una reestructuración extensiva y fundamental del anterior proyecto con el fin de mejorar la claridad de exposición e incrementar, en alguna medida, la uniformidad de convenciones entre las partes escritas por diferentes autores. Se han introducido referencias específicas a las páginas de otros trabajos, cuya falta era ostensible en el primer proyecto. Se ha añadido numerosos ejemplos, tales como los ejemplos de conjuntos de axiomas. Se ha añadido mucho material nuevo, y prácticamente se ha reformulado o reemplazado cada frase del proyecto original, a excepción de algunas partes del último capítulo
Dictionary of symbols of mathematical logic