Diagonalization in Formal Mathematics
59,90 €
Envío en 4/5 dias
Información del producto
| ISBN | 9783658291105 |
|---|---|
| Editorial | Springer Fachmedien Wiesbaden |
| Precio (sin IVA) | 56,51 € |
| Impuestos | 3,39 € |
| Precio (IVA incluido) | 59,90 € |
| Disponibilidad | 1 Unidad En almacén externo |
Descripción del producto
In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics. He starts with a study of the diagonalization lemma and its relation to the strong diagonalization lemma. Finally, the author studies a general theory of diagonalization with the help of examples from mathematics.