Logic for mathematicians /
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Cambridge :
Cambridge University Press,
1988.
|
| Edición: | Rev. ed. |
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- 1. Informal statement calculus
- 2. Formal statement calculus
- 3. Informal predicate calculus
- 4. Formal predicate calculus
- 5. Mathematical systems
- 6. The Gödel incompleteness theorem
- 7. Computability, unsolvability, undecidability.