La memoria tiene dos partes diferenciadas. En la primera se estudian las relaciones entre grafos y juegos.Se definen formalmente ambos conceptos, se estudian sus propiedades y se llega al resultado crucial de esta parte (teorema II.2.10) que nos afirma que en un juego existe una estrategia ganadora para un estado del juego, si y solamente si, en un grafo, asociado al juego, existe un g-camino desde el estado dado al conjunto de estados ganadores. La segunda parte trata de la aplicacion de estrategias para juegos a la deduccion. Se resuelve aqui el problema inverso (en cierto sentido) al anterior: dado un problema deductivo (y por tanto su grafo Y/O asociado), construimos un juego de forma que el teorema anterior se satisfaga. Se llega asi al resultado de que el problema de deduccion propuesto se resuelve afirmativamente, si y solamente si, existe estrategia ganadora para el juego. Por ultimo, se aplica la tecnica alfa-beta para la determinacion de esa estrategia."