Los símbolos de la lógica matemática.
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro |
| Lenguaje: | Español |
| Publicado: |
Madrid :
Paraninfo,
1980.
|
| Colección: | Lógica y teoría de la ciencia
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
Tabla de Contenidos:
- Contenido: Preliminares. Cálculo proposicional. El cálculo funcional de primer orden. Cálculos funcionales de orden superior. La teoría de tipos. Lógica combinatoria. Cálculo de clases. Cálculo de relaciones. La aritmética formalizada como disciplina independiente. Los números según se definen en sistemas de lógica. Matemática.