Resultado de la búsqueda: simposio en el MIT, en 1956, con el título «La máquina de la teoría lógica»