Cet ouvrage présente les bases de la théorie de la complexité des algorithmes et en derive les théorèmes fondamentaux de décidabilité et d'indécidabilité pour la logique et l'arithmétique, dont le premier théorème d'incomplétude de...

"Braids and Self-Distributivity" von Patrick Dehornoy ist ein mathematisches Fachbuch, das sich mit der Theorie der Zöpfe (Braids) und dem Konzept der Selbstdistributivität beschäftigt. Das Buch ist Teil der Reihe "Progress in...