Feys, Robert 1889-1961

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)

511.3 / F44