Vista normal Vista MARC Vista ISBD

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

ISBN: 8428310297

Subjects--Topical Terms:
Cálculo
Lógica simbólica y matemática
Funciones (Matemáticas)

Dewey Class. No.: 511.3 / F44