Los símbolos de la lógica matemática
Robert Feys y Frederic B. Fitch
- Primera edición
- Madrid Paraninfo 1980
- 189 páginas 22 cm.
- Lógica y Teoría de la Ciencia .
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
8428310297
Cálculo Lógica simbólica y matemática Funciones (Matemáticas)