Descubre cómo la teoría de conjuntos se aplica a la computación avanzada en este libro que analiza problemas de cardinalidad, algoritmos de decisión y estructuras ordinales, ofreciendo un marco teórico sólido para matemáticos e informáticos interesados en los fundamentos del cálculo formal.