La teoría de juegos ha empezado a desempeñar un papel importante en la lógica y la informática.