Diagonalization in Formal Mathematics
Knihu koupíte v
1 e-shopu
od
1 322 Kč
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku.
Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Krátký popis
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…
Zobrazit celý popis
Zobrazit celý popis
Výběr knih vydavatele
Springer Fachmedien Wiesbaden
Zobrazit všechny knihy vydavatele
Springer Fachmedien Wiesbaden
Naše tipy
- Právě probíhající akce a slevy na knihy
-
Knihydobrovsky.cz | do 24.09.2025
-
Bookshop.cz | do 31.12.2025
- zobrazit všechny akce
