Logic for mathematicians
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
Cambridge :
Cambridge University Press,
2000
|
| Edición: | Rev. ed., repr. |
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Notas: | Incluye ejercicios, lecturas adicionales y glosario de símbolos. -- |
| Descripción Física: | viii, 228 p. ; 23 cm. |
| ISBN: | 0521368650 |
Tabla de Contenidos:
- Informal statement calculus
- Formal statement calculus
- Informal predicate calculus
- Formal predicate calculus
- Mathematical systems
- The Gödel incompleteness theorem
- Computability, unsolvability, undecidability