Diagonalization in Formal Mathematics
€ 59,90
Disponível para envio em 4/5 dias
Informação do Produto
| ISBN | 9783658291105 |
|---|---|
| Editora | Springer Fachmedien Wiesbaden |
| Preço (iva excl.) | € 56,51 |
| Imposto | € 3,39 |
| Preço (iva inc.) | € 59,90 |
| Disponibilidade | 1 unidade em armazém externo |
Descrição do Produto
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.