Introduction to mathematical logic /
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
London :
Chapman & Hall,
1997.
|
| Edición: | 4th ed. |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Tabla de Contenidos:
- 1. The propositional calculus
- 2. Quantification theory
- 3. Formal number theory
- 4. Axiomatic set theory
- 5. Computability.